search

seL4 / microkit

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

Fix max ID checks on channels/IRQs #19

Closed Ivan-Velickovic closed 1 year ago

Ivan-Velickovic commented 1 year ago

This PR does two things.

  1. Fixes the max ID for a channel end to be 62 instead of 63. This is because the last bit of the badge is used to distinguish on whether we have received an PPC or a notification. Having the max ID as 63 will mean this bit is overwritten and so notifying a channel with an ID of 63 will instead be delivered as a PPC.
  2. Applies the same fix to IRQs and adds tests like for channel IDs.
  3. Makes a note of the valid channel/IRQ IDs in the manual.