search

seL4 / microkit

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

Typo in the manual #82

Closed bjorn3 closed 7 months ago

bjorn3 commented 7 months ago

In the present version the callee must trust the callee to conform.

I believe the first callee is intended to be caller.

Ivan-Velickovic commented 7 months ago

Fixed, thanks!