Wrong `SC` capability in `sel4::init_thread::slot`

Open sevenautumns opened this issue 9 months ago • 1 comments

This line seems wrong: https://github.com/seL4/rust-sel4/blob/b162f60000e1f9a0cd87247d3624b5bc106fa878/crates/sel4/src/init_thread.rs#L156

According to: https://github.com/seL4/seL4/blob/019e4b608f02320f567e32fe09b48423aaeff92f/libsel4/include/sel4/bootinfo_types.h#L29 seL4_CapInitThreadSC refers to the Scheduling Context rather than the Scheduling Control

Mar 25 '25 14:03 sevenautumns

Good catch, thanks!

Indeed pointers to the initial SchedControl caps (one per node) are provided via the bootinfo struct instead:

https://github.com/seL4/seL4/blob/019e4b608f02320f567e32fe09b48423aaeff92f/libsel4/include/sel4/bootinfo_types.h#L72

Mar 27 '25 01:03 nspin