Open astevins opened 1 month ago
Using bootstrap_new_simple from libsel4allocman did not work properly on MCS kernel, because it was not transferring the scheduling control caps to the new CSpace.
bootstrap_new_simple
libsel4allocman
This was due to bootstrap_transfer_caps_simple using simple_get_cap_count and simple_get_nth_cap, which did not include the scheduling control slot range. https://github.com/seL4/seL4_libs/blob/fcabdef37016cd568a40c82e0d97a264b86ee6d4/libsel4allocman/src/bootstrap.c#L491-L501
bootstrap_transfer_caps_simple
simple_get_cap_count
simple_get_nth_cap
Adding the scheduling control slot range to these functions resolved the issue.
Using
bootstrap_new_simple
fromlibsel4allocman
did not work properly on MCS kernel, because it was not transferring the scheduling control caps to the new CSpace.This was due to
bootstrap_transfer_caps_simple
usingsimple_get_cap_count
andsimple_get_nth_cap
, which did not include the scheduling control slot range. https://github.com/seL4/seL4_libs/blob/fcabdef37016cd568a40c82e0d97a264b86ee6d4/libsel4allocman/src/bootstrap.c#L491-L501Adding the scheduling control slot range to these functions resolved the issue.