selfe-start

这是 sel4-start 的本地分支。

文档

此包定义了入口点 _sel4_start 和一个 Rust #[lang = "start"] 入口点，_sel4_start 在初始化全局 BootInfo 实例后调用该入口点，该实例也在本包中定义。这仅用于系统的“初始线程”，即 seL4 启动的第一个线程。在 BootInfo 中有许多奇妙的东西。有关 BootInfo 内容的规范信息，请参阅 seL4 手册，第 39 页的表 9.2。

初始线程使用 16K 的堆栈空间。

状态

完成。