upgrade to seL4 5.2.0-mcs
- new type: seL4_Time
- add new and missing constants
- ipc message size reduced to 115 from 120
- ipc number of caps increased (extra cap bits 2->3)
- new ipc buffer field 'reserved'
- new bootinfo extra info structure for passing MMAP entries from grub
- add structure definitions for fault ipc messages
- add structure definitions for benchmarking
- add initial cap constant for initial thread's scheduling context
- add schedule control SlotRegion field to bootinfo structure
- update syscall stub generator python script for new types
x64:
- Size of notification object increased
- Calculate ipc buffer gs segment offsets instead of hard coding into asm
- Add new and missing consts
- Add structure definitions for fault ipc messages
- new accessor functions for ipc buffer reserved field
- remove reply syscall stub
- update syscall stubs
- new syscalls: Wait, NBWait, NBSendRecv, NBSendWait
- DebugPutChar now conditioned on CONFIG_PRINTING instead of CONFIG_DEBUG_BUILD
- fix benchmarking syscall stubs
Arm and x86:
- add new object types
- add missing cfg flags
- add missing definitions for VTX objects
Edited by Jimmy Brush