ArceOS
模块化内核组合系统
通过配置组合 axalloc、axtask、axfs、axnet、axhal 等模块，生成面向具体应用场景的系统镜像。
- 四架构 Rust、C 与 axtest 用例
- 示例覆盖基础运行与设备场景
- 基于 feature 和配置裁剪模块 能力
Core Capabilities
统一的 Cargo workspace 汇聚工程编排、内存管理、调度同步、文件与进程、虚拟化及设备接口，为三套系统提供可复用的实现基础。
components/、memory/、drivers/ 与 virtualization/ 通过统一 workspace 为三套系统提供基础能力。可复用机制以 crate 纳入统一 workspace，OS glue、平台适配与运行策略由各系统独立实现； cargo xtask 在不破坏边界的前提下统一编排构建、镜像、运行和验证流程。
cargo xtask 提供 ArceOS、StarryOS、Axvisor、镜像、板卡与测试命令的统一入口。
allocator、地址类型、memory set 与多架构页表实现集中在 memory/，供系统按需组合。
axsched、cpumask、kspin、kernel_guard 与 lockdep 提供可复用的内核运行时基础。
axfs-ng-vfs、rsext4、starry-process、starry-signal 与 starry-vm 承载明确的领域语义。
virtualization/ 提供 VM、vCPU、地址空间、虚拟设备及各架构中断控制器实现。
dma-api、mmio-api、irq-framework 与 RDIF 接口 crate 将资源访问从具体 OS glue 中分离。
Systems
ArceOS 提供模块化内核组合，StarryOS 实现 Linux 用户态兼容，Axvisor 提供 Type-I 虚拟化；三者复用工作区基础能力并独立维护运行语义。
通过配置组合 axalloc、axtask、axfs、axnet、axhal 等模块，生成面向具体应用场景的系统镜像。
实现 Linux 系统调用、ELF 加载、进程与信号语义，并通过 rootfs 和用户态程序验证兼容性。
管理 VM、vCPU、虚拟地址空间与虚拟设备，并通过静态或动态平台配置启动不同 Guest。
Architecture
场景入口、系统语义、领域能力与平台边界构成自上而下的依赖链，跨层交互通过 workspace 依赖、trait 和 capability API 建立稳定契约。
定义目标系统的能力选择、构建参数与运行场景
feature / package selectionboard / VM configuration实现内核生命周期、接口语义与运行策略
OS lifecycle / syscall semanticscrate composition / policy沉淀跨系统复用的内存、调度、I/O 与虚拟化机制
no_std reusable cratestraits / capability APIs适配 CPU 架构、固件、板级资源与设备访问
arch / board adaptersMMIO / DMA / IRQ contracts下层 crate 不依赖上层实现，组件层不引用系统层代码，平台层不感知具体系统。依赖方向单一，修改影响可控。
同一层的 crate 通过 trait 或接口抽象解耦，系统通过组合而非继承获取能力，新增系统实现无需修改现有组件。
MMIO、DMA、IRQ、固件与调度能力只通过显式 API 跨层传递；共享逻辑依赖能力契约，不直接耦合具体 OS 或平台实现。
Component Workspace
scripts/repo/repos.csv 维护外部仓库与工作区目录的 50 组映射，repo.py 执行双向同步，使独立仓库演进、集成验证与上游回推保持一致。
axallocatormemory/axallocatorarm_vcpuvirtualization/arm_vcpurockchip-npudrivers/npu/rockchip-npuaxallocator独立仓库arm_vcpu独立仓库rockchip-npu独立仓库$ python3 scripts/repo/repo.py list查看组件仓库映射与同步状态$ repo.py pull$ repo.py pushrepos.csvHardware Enablement
aarch64、riscv64、x86_64 与 loongarch64 均具备三套系统的 QEMU 配置；drivers/ 提供分类型设备实现，self-hosted CI 持续验证关键实体板卡。
三套系统均有对应构建与测试入口
aarch64-unknown-none-softfloatQEMU virtriscv64gc-unknown-none-elfQEMU virt + SSTCx86_64-unknown-noneQ35 · ACPI · VMX/SVMloongarch64-unknown-none-softfloatQEMU virt · dynamic UEFI设备核心实现通过 RDIF 等能力接口接入系统
sdhci-host · dwmmc-host · nvme-driver
realtek-rtl8125 · eth-intel · fxmac_rs
arm-gic-driver · riscv_plic · rdif-intc
pcie · rk3588-pci · rdif-pcie
usb-host · usb-if · usb-serial
rockchip-npu · k230-kpu · sg2002-tpu
rockchip-pwm · arm_pl031 · arm-scmi-rs
Verification
Host 测试与静态检查覆盖 crate 级正确性，QEMU 验证系统集成与运行语义，self-hosted 板卡回归确认平台适配和设备行为。
在宿主机上执行标准库测试与静态检查，不启动目标系统即可发现组件级问题。
构建目标系统镜像并在 QEMU 中运行，检查 syscall、进程、设备与 Guest 引导行为。
在 self-hosted 板卡上执行端到端场景，确认平台适配与真实硬件行为。