Module sel4_cspace::interface

source ·
Expand description

暴露给外部的接口

Structs

Enums

  • Cap 在内核态中的种类枚举

Functions