Module arch

提供架构相关的 sel4 功能支持补充

为 rust-sel4 提供补充

Constants

GENERIC_TIMER_PCNT_IRQ

PCNT 使用的中断号

Functions

current_time

获取当前的时间(ns)

get_cval

获取当前 timer 定时的时间

set_timer

设置定时器

shutdown

关机指令

sys_null

执行无参数的系统调用

sys_reply

回复一个消息