k23

关于我们

• 阶段 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 - Kotlin on k23
  • WASM 建议 - 垃圾收集
  • WASM 建议 - 异常处理
• 阶段 3 - 驱动程序
  • 支持 MMIO 区域 (WASM 内存控制建议 或 多个内存类型)
  • WASM 建议 - 组件模型
  • WASM 组件链接

参与贡献