فهرست منبع

doc: add chapter 02 'RustSBI Libraries'

Signed-off-by: Zhouqi Jiang <luojia@hust.edu.cn>
Zhouqi Jiang 2 ماه پیش
والد
کامیت
57b705cea7
2فایلهای تغییر یافته به همراه24 افزوده شده و 2 حذف شده
  1. 2 2
      docs/src/chapter_01_what_is_rustsbi.md
  2. 22 0
      docs/src/chapter_02_libraries.md

+ 2 - 2
docs/src/chapter_01_what_is_rustsbi.md

@@ -2,7 +2,7 @@
 
 感谢您选择 RustSBI!RustSBI 是一款综合的安全引导解决方案。RustSBI 主要由 Rust 语言编写,适用于 RISC-V 的 Supervisor Binary Interface(SBI)架构,是遵守 MIT 或 Mulan-PSL v2 双协议发布的开源软件。RustSBI 在有效提升 RISC-V SBI 接口软件开发效率的同时,提供可供下载的二进制固件包,并包含大模型 Agent 应用模块,便于用户使用和二次开发。
 
-RustSBI 已被 RISC-V 基金会收录为官方推荐的 RISC-V SBI 实现之一,它的实现编号为 4。
+RustSBI 目前支持 RISC-V SBI 2.0 正式版,并已被 RISC-V 基金会收录为官方推荐的 RISC-V SBI 实现之一,它的实现编号为 4。
 
 ## RISC-V SBI 与 RustSBI
 
@@ -29,7 +29,7 @@ RustSBI 项目由以下模块构成。
 - 平台支持模块:由各芯片系列的裸机硬件抽象层(HAL)支持包组成,与 Rust 生态共享支持模块;
 - 大模型应用:由 RustSBI Agent 问答智能体等项目组成。
 
-在第二章中,我们将详细介绍 RustSBI 的核心模块,它具有核心抽象、函数和常量支持等多个功能,便于开发模拟器和虚拟化平台。第三章将主要介绍 RustSBI Prototyper 裸机引导程序,它可在裸机平台运行,支持运行于真实硬件和模拟器的裸机操作系统。第四章介绍平台支持模块,它构成组件化的驱动程序,同时运用于 RustSBI 和 Rust 系统软件生态,具有相关的支持程序。
+在第二章中,我们将详细介绍 RustSBI 的核心,它具有核心抽象、函数和常量支持等多个功能,便于开发模拟器和虚拟化平台。第三章将主要介绍 RustSBI Prototyper 裸机引导程序,它可在裸机平台运行,支持运行于真实硬件和模拟器的裸机操作系统。第四章介绍平台支持模块,它构成组件化的驱动程序,同时运用于 RustSBI 和 Rust 系统软件生态,具有相关的支持程序。
 
 在产品介绍之后,各平台、系统支持将于第五章、第六章介绍。第七章将详细阐述如何运用 RustSBI 开发用户所需的系统软件模块;第八章介绍 RustSBI 孵化中的软件模块,如 RustSBI Agent 等大模型应用和 ArceBoot 引导程序。第九章介绍如何将 RustSBI 与生态中的各个引导软件联动使用,例如与 Oreboot 联合使用;第十章介绍 RustSBI 开源社区生态和贡献方法。
 

+ 22 - 0
docs/src/chapter_02_libraries.md

@@ -1 +1,23 @@
 # RustSBI 核心库
+
+本章将详细介绍 RustSBI 核心库的架构设计与功能模块。
+
+RustSBI 核心库采用分层设计理念,将核心功能与机器态实现解耦,通过多个功能模块化的 Rust 包(crate)为 RISC-V SBI 生态提供支持。其模块化架构适用于内核开发、安全固件设计、虚拟化方案及模拟器等不同场景,主要包含以下核心组件:
+
+1. `rustsbi` SBI 服务抽象层
+
+    该包通过特型(trait)机制抽象 SBI 扩展功能,并提供宏编程支持。开发者在构建裸机固件时,只需为平台结构体实现相应的 SBI 扩展 trait,再通过 `#[derive(RustSBI)]` 宏即可自动生成从异常处理到 SBI 调用的分发逻辑,显著降低底层开发复杂度。针对虚拟化场景,支持为虚拟机单独实现扩展或通过 `Forward` 机制透传宿主机扩展。对于非 RISC-V 架构的模拟器,可利用宿主平台特性实现跨架构 SBI 调用。
+
+2. `sbi-rt` 内核态运行时
+
+    为操作系统内核、虚拟化监控程序等特权级软件提供符合人体工程学的 SBI 接口封装。通过类型安全的 Rust 函数替代易出错的裸常量操作和内联汇编,开发者可直接调用标准化的 SBI 服务接口。该模块有效提升系统软件开发效率,同时保障代码的可靠性与可维护性。
+
+3. `sbi-spec` 规范基础设施
+
+    作为 RustSBI 生态的基石,提供完整的 SBI 规范常量体系(EID/FID)、标准数据结构定义及严格的静态类型校验。通过编译期检查机制预防常量误用和数据结构错位,确保实现与 RISC-V 国际标准的高度一致性。
+
+4. `sbi-testing` 自动化测试框架
+
+    专为裸机环境设计的 SBI 合规性测试解决方案。该框架预置标准化测试流程,支持快速构建符合 SBI 规范的测试内核,通过自动化测试用例执行生成合规性报告,显著降低测试套件的重复开发成本。
+
+需要特别说明的是,RustSBI 核心库聚焦于跨平台抽象层和开发工具链,不包含具体硬件平台的机器态实现。如需获取可直接部署的 RISC-V SBI 固件,请参阅第三章提供的硬件适配方案。