Fix some bugs in the new tool

seL4 / microkit

Microkit - A simple operating system framework for the seL4 microkernel

Other

68 stars 37 forks source link

Fix some bugs in the new tool #129

Closed nspin closed 1 month ago

nspin commented 1 month ago

Fix handling of PD names longer than 16 bytes
Fix some cases of incorrect constants being used

Ivan-Velickovic commented 1 month ago

Sorry about that. I'm away for the next couple of weeks but when I get back I'll work on runtime tests which would have caught at least some of these mistakes.

Will merge once the comment I made is addressed.