ViFastOs v0.1.0 — bản xem trước

Bản xem trước đầu tiên của ViFastOs — microkernel kiểu seL4 viết bằng Rust.

Trong bản này

• Kernel no_std, #![forbid(unsafe_code)] ở kernel/runtime/fs.
• Mô hình capability: TCB, endpoint, notification, VSpace, untyped, page table.
• IPC: Send / Call / Recv / Reply / ReplyRecv + notification.
• Khoảng 50+ syscall cho thread, bộ nhớ, capability, IPC, IRQ.
• Chạy trên QEMU với 3 kiến trúc: riscv64 (OpenSBI, Sv39), aarch64 (QEMU virt, GICv2), x86_64 (UEFI/OVMF, PML4).
• Bộ test kernel + QEMU smoke test trong CI nội bộ.

Giới hạn đã biết (đang trong lộ trình)

• Big kernel lock (BKL) vẫn là lock toàn cục.
• Chưa có bộ cấp phát vật lý toàn cục; bộ nhớ tĩnh theo hạn mức.
• Driver chỉ ở mức QEMU (uart, block tối giản); chưa có audio.
• SMP mới kiểm chứng ở mức 2 hart trên QEMU.

Đây là bản nghiên cứu/học thuật, chưa dùng cho production. Theo dõi và đăng ký nhận tin tại https://os.vifast.org