Hasty Briefsbeta

双语

AtomicOS – A security-first OS with real crypto and deterministic language

a year ago
  • #security
  • #education
  • #operating-system
  • AtomicOS是一个以安全为先的教育型操作系统,完全从零开始构建。
  • 优先考虑安全性而非性能,提供AES-128加密、SHA-256哈希和MMU等特性。
  • 设计哲学:'安全第一,其次是稳定性,最后是性能'。
  • 关键特性包括自定义引导程序、保护模式、内存防护、W^X强制机制和确定性执行。
  • 所需工具:i686-elf-gcc、nasm、qemu-system-i386和make。
  • 提供不同版本(v0.3、v0.4、演示版)的构建与运行说明。
  • 目录结构包含内核、tempo(语言编译器)和文档。
  • 内存布局详情:内核空间、用户空间和内核镜像区。
  • 安全实现:AES-128、SHA-256和硬件强制MMU。
  • 当前局限:无网络栈、文件系统或设备驱动(仅基础VGA支持)。
  • 采用MIT许可证,要求署名保护且衍生项目不得使用原名。
  • 欢迎通过分叉开发、功能分支、拉取请求流程参与贡献。
  • 文档包含《语言规范》《现实检验》和《测试证据》。
  • 原作者:Ignacio Peña(2024年)。
  • 格言:'无漏洞、无崩溃、无谎言'。