search

seL4 / microkit

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

Fixes and cleanup in passive server example #88

Closed Ivan-Velickovic closed 5 months ago

Ivan-Velickovic commented 5 months ago

Making the style consistent with other examples and fixing the server code such that it prints the right message when getting a PPC from the client.