search

seL4 / microkit

Microkit - A simple operating system framework for the seL4 microkernel
Other
68 stars 37 forks source link

What is the purpose of the content of a passive server's initialization complete message #140

Closed nspin closed 1 week ago

nspin commented 1 week ago

What is the purpose of the value in this message register?

https://github.com/seL4/microkit/blob/b0fc14311fa4ba2b3ec5a54567b07a7e174cf788/libmicrokit/src/main.c#L107-L112

It isn't used by the monitor:

[1] https://github.com/seL4/microkit/blob/b0fc14311fa4ba2b3ec5a54567b07a7e174cf788/monitor/src/main.c#L444-L456

Ivan-Velickovic commented 1 week ago

Looks like it's not necessary. I've opened https://github.com/seL4/microkit/pull/141.

Ivan-Velickovic commented 1 week ago

Thank you for pointing that out.