seL4 / microkit

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

Fix config option used in ifdef for seL4 debug printing #46

Closed Ivan-Velickovic closed 9 months ago

Ivan-Velickovic commented 9 months ago

It should be CONFIG_PRINTING as a debug build of the kernel does not necessarily have printing enabled (although this is a rare case and I only ran into it when debugging something with a debug kernel with printing intentionally disabled).