Skip to content

upgrade to 5.2.0-mcs and other improvements

Jimmy Brush requested to merge upgrade_5.2.0-mcs into master
  • 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

Merge request reports