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年)。
- 格言:'无漏洞、无崩溃、无谎言'。