upgrade to 5.2.0-mcs and other improvements
- remove SlotRef::save_caller
- New object types: Reply, SchedContext, SchedControl
- New endpoint operation: recv_refuse_reply (seL4_Wait)
general improvements:
- expose combined send-and-receive operations
- add benchmarking api
- add debugging api, closes #2 (closed)
- add fault handling api
- fix size calculation for CNode
- change size calculations to use constants from sel4-sys
x64:
- change vroot argument types to PML4
- add implementations for VTX objects
Edited by Jimmy Brush