search

seL4 / microkit

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

Fix printing in monitor when dealing with passive PDs #47

Closed Ivan-Velickovic closed 5 months ago

Ivan-Velickovic commented 9 months ago

The current code prints a false-positive error because it prints an error before checking if it was a passive PD giving up its scheduling context.

Ivan-Velickovic commented 9 months ago

Quite a large style check fail since it's the first time running on the monitor code. Will fix that first in a separate PR.