内核架构

本章节深入探讨 Proka Kernel 的内部实现，从引导协议到各核心系统的协作。

微内核重构路线图 (Roadmap)

Proka 目前正处于从混合内核 (Hybrid) 向微内核 (Microkernel) 演进的中后期阶段。

已完成 (Done)

• 强隔离的多任务模型：基于 TCB/PCB 的进程管理，集成硬件级页表切换。
• 高性能同步原语：实现无分配等待队列、自适应自旋和公平自旋锁 (Ticket Lock)。
• 微内核 IPC 框架：初步实现基于服务发现的消息传递机制。

进行中 (In Progress)

• 系统调用 (Syscall) 硬件集成：配置 IA32_LSTAR 实现 Ring 3 到 Ring 0 的快速跳转。
• ELF64 加载器：从文件系统加载用户态可执行程序并建立地址空间。

待处理 (Backlog)

• 服务外迁：将键盘驱动、串口输出等搬移到独立的 Ring 3 进程。
• VFS 服务化：将 VFS 逻辑从内核剥离，通过 IPC 处理文件请求。
• 用户态权限管理 (Capabilities)：实现细粒度的资源访问控制。