文章探讨了为何Agent沙箱未采用unikernel技术，对比了Firecracker、Kata、WASM等方案。Firecracker启动快但镜像构建复杂，Kata兼容OCI但缺快照，WASM启动极快但难支持Python。Unikernel理论上理想，但过去不支持多进程，限制其应用。未来技术发展或带来机会。

Vercel投资Unikraft，利用unikernel技术提升云服务性能。Prisma通过unikernel实现快速启动和低延迟，降低数据库成本。与容器相比，unikernel更轻量、安全，适合AI等新兴云应用。

Anathema 是一个用 Rust 编写的 TUI 库，支持自定义模板和热重载，适合静态布局。wasm_os 是一个运行 WebAssembly 的单内核操作系统，支持 C/C++ 标准库。Quill 是一个轻量级的 2D 绘图库，简化绘图过程。Helix 编辑器是现代模态编辑器，支持多光标和 LSP，适合处理半结构化数据。

最近学习了清华老师的Linux内核驱动课程和ArceOS Unikernel课程，对我来说非常有意思。我总结了第二周的练习思路，欢迎关注公众号一起为ArceOS Unikernel做贡献。

ArceOS Unikernel课程已过半，学习过程中磨砺与成长。第一周学习了ArceOS架构、内存分配和调度算法。第二周学习了应用加载、ABI调用和内核应用分离。练习思路总结包括数据保存格式、SYS_TERMINATE系统调用、字符串读取和应用改造。希望对大家有帮助。