Fixes to BootInfo
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.
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.