12 个版本
使用旧的 Rust 2015
| 0.0.28 | 2017 年 4 月 24 日 |
|---|---|
| 0.0.27 | 2017 年 1 月 11 日 |
| 0.0.23 | 2016 年 12 月 31 日 |
| 0.0.21 | 2016 年 3 月 12 日 |
| 0.0.6 | 2015 年 12 月 29 日 |
#3 在 #sel4
13KB
246 行
sel4-start
此 Crate 定义了入口点 _sel4_start 和一个 Rust #[lang = "start"] 入口点，在初始化全局 BootInfo 实例后由 _sel4_start 调用，该实例也在本 crate 中定义。这仅用于系统的 "初始线程"，这是 seL4 启动的第一个线程。在 BootInfo 中有许多奇妙的东西。有关 BootInfo 内容的规范信息，请参阅seL4 手册，第 39 页的表 9.2。
初始线程使用 16K 的堆栈空间创建。
状态
完成。