search

seL4 / microkit

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

monitor: adhere to CI style checks #60

Closed Ivan-Velickovic closed 9 months ago

Ivan-Velickovic commented 9 months ago

I don't agree with these style checks (particularly the switch case style) but I don't have the energy to fight the system on something that is ultimately meaningless.

Ivan-Velickovic commented 9 months ago

Okay finally got it passing, now just need to check that the binary is the same to make sure nothing has changed semantically.

Ivan-Velickovic commented 9 months ago

Cool, they are the same.