一名用户提议使用具有海量token预算的最新语言模型，创建一个基于seL4微内核的完整开源操作系统。该计划涉及分析seL4、Genode和Linux的源代码，以将驱动程序和子系统适配到基于seL4的环境中。

  • 模型将分析来自seL4、seL4_libs、sel4-tutorials、sel4test和Genode仓库的代码。
  • 它将逐步适配常见硬件的选定Linux驱动程序，并添加有用的文件系统。
  • 该过程将是迭代的，包括架构提议、编译、测试和错误修正。
  • 最终系统将以符合现有许可证的方式作为开源发布。

帖子质疑如果不受成本限制，当前模型能否完成此类项目的相当大一部分，并指出了潜在的障碍，如维持长期计划或在真实硬件上进行调试。