k23

关于

k23 是一个活跃的研究项目，旨在通过将 WebAssembly 作为主要执行环境，打造一个更安全、模块化且更易于开发的操作系统。

发展路线图

• 阶段 0 - 启动
  • 启动加载程序阶段
  • Risc-V 支持
  • 密码学内核完整性保护
  • 压缩内核支持
  • 测试运行器及针对 WASM 规范的测试
  • 内核回溯功能
  • 合理的错误处理机制
  • KASLR（内核地址空间布局随机化）
• 阶段 1 - 基本 WASM 功能
  • 客户端内存管理
  • 客户端 ASLR（地址空间布局随机化）
  • 执行 WASM
  • 处理客户端陷阱及故障恢复
  • WASM 模块的导入与导出
  • 在用户空间执行 WASM
  • 支持 WASM 内置函数
  • 处理 WASM 陷阱
  • 系统调用上下文切换及基本主机功能
  • WASM 提案 - 扩展的常量表达式
  • WASM 提案 - 多值类型
  • WASM 提案 - 尾调用优化
  • WASM 提案 - 引用类型
  • WASM 提案 - 固定宽度 SIMD
  • WASM 提案 - 宽松型 SIMD
  • WASM 提案 - 多个内存区域
• 阶段 2 - 并发
  • 内核并发处理
  • 调度器
  • WASM 提案 - 线程（原子操作）
  • WASM 提案 - 全共享线程
• 阶段 2.5 - k23 上的 Kotlin
  • WASM 提案 - 垃圾回收机制
  • WASM 提案 - 异常处理机制
• 阶段 3 - 驱动程序
  • 支持 MMIO 区域（WASM 内存控制提案 或 类型化多内存区域）
  • WASM 提案 - 组件模型
  • WASM 组件链接功能

贡献方式

我认为操作系统开发应当是有趣、简单且易于入门的。无论您是想在 k23 上进行开发、 fork 它用于自己的实验，还是仅仅聚在一起探讨计算机相关的理念，都欢迎您！您可以加入我们这个规模虽小但正在不断壮大的社区，这里汇聚了一群志同道合的出色人士，他们都相信更好的计算机系统是完全可以实现的！