Skip to content

README_gitlab.md

Latest commit

 

History

History
55 lines (34 loc) · 2.87 KB

README_gitlab.md

File metadata and controls

55 lines (34 loc) · 2.87 KB
Raw

Comix（OS 大赛提交版说明）

本 README 面向 OS 大赛评测环境（GitLab 仓库展示 / 评测机构建约束），与 GitHub 上的开发版说明不同。

pdf文档（百度网盘）：https://pan.baidu.com/s/1mcvoxzVNsN9s4WP9X7IQ-g

上游仓库（主要开发在 GitHub）

本项目主要在 GitHub 上开发与维护：

  • 上游仓库：https://github.com/comix-kernel/comix

此 GitLab 仓库由 GitHub Actions 自动镜像（含 Rust vendored 依赖等评测所需内容），仅用于提交与评测，请勿直接在此修改。

评测构建要求（必须）

  • 评测机在项目根目录执行：make all
  • make all 生成以下 ELF 内核：
    • kernel-rv：RISC-V 内核（riscv64gc-unknown-none-elf，release）
    • kernel-la：LoongArch 内核（loongarch64-unknown-none，release）
  • 同时生成可选的磁盘镜像（评测启动 QEMU 时一并挂载）：
    • disk.img
    • disk-la.img

os/build.rs 会先生成裸 ext4 rootfs 中间产物：

  • os/fs-riscv.img
  • os/fs-loongarch.img

顶层 Makefile 再把它们组装成我们的 MBR raw disk。最终分区布局固定为：

  • 第一分区：ext4 rootfs。
  • 第二分区：64 MiB FAT32/VFAT 空分区，用于 basic/mount、basic/umount。

我们的 MBR 分区盘作为第一个块设备 vda，内核从 vda1 启动 rootfs。官方测试镜像 sdcard-rv.img / sdcard-la.img 作为第二个块设备 vdb 提供测试内容，镜像根目录包含 musl/ 与 glibc/。本地运行时测试镜像可放在仓库外，并通过 TESTIMG_RV / TESTIMG_LA 指定路径；启动脚本会把 vdb 这个裸 ext4 测试镜像挂载到 /tests，再原地运行白名单 musl 测试。

内核默认会从发现到的整盘与分区块设备中探测 ext4 rootfs，优先尝试分区设备，选择含 /bin/sh 或 /bin/ash 的分区作为 /。oscomp feature 已弃用并保留为空兼容项，不再改变启动行为。

离线依赖 / 隐藏目录过滤（重要）

评测系统在 clone 时会过滤所有隐藏文件和目录（例如 .cargo/）。为此本仓库做了两件事：

  1. make all 会在构建时重建 os/.cargo/config.toml（恢复链接脚本所需的 rustflags），即使 .cargo/ 被评测机过滤也能正常构建。
  2. 仓库内包含 Rust vendored 依赖以离线构建：
    • os/vendor/
    • os/cargo-vendor-config.toml

当 os/cargo-vendor-config.toml 存在时，make all 会自动将其追加到 os/.cargo/config.toml，使 Cargo 使用 vendored 源并以离线模式构建。

本项目不使用 build-std：两个目标的预编译 rust-std 已自带所需的 mem intrinsics，因此评测机只需具备对应 target 的预编译标准库，无需 rust-src。

工具链

  • os/rust-toolchain.toml 固定为 nightly-2025-10-28。
  • 镜像构建依赖：dd、truncate、sfdisk、mkfs.ext4、mkfs.vfat。