sel4_kit

Module ipc

Source
Expand description

提供 ipc 相关支持

提供异步的 Notification poll

Functions§

poll_endpoint
poll 一个 Endpoint
poll_notification
poll 一个 Notification