Skip to content

Fixes to BootInfo

Jimmy Brush requested to merge peachesrebar88/sel4-sys:bootinfo into master

seL4_BootInfo.initThreadDomain should be type seL4_Word not u32 (the manual is wrong). Also, seL4_BootInfo.extraLen is the number of bytes not the number of blocks. The manual isn't really clear on this.

Merge request reports