Improve monitor error messages on boot info mismatch

seL4 / microkit

Microkit - A simple operating system framework for the seL4 microkernel

Other

70 stars 37 forks source link

Closed Ivan-Velickovic closed 1 year ago

Ivan-Velickovic commented 1 year ago

I have personally found this useful when adding support for a certain platform/board.