AtomicOS——一款以安全为首要目标的操作系统,采用真正的加密技术和确定性语言。
AtomicOS – A security-first OS with real crypto and deterministic language

原始链接: https://github.com/ipenas-cl/AtomicOs

AtomicOS是一个以教育为目的、安全优先的操作系统,从零开始构建,具有真正的内存保护和确定性编程语言。它强调安全胜于性能,实现了业余操作系统项目中经常缺失的功能,包括AES-128加密、SHA-256哈希和用于硬件强制内存保护的内存管理单元(MMU)。 其核心理念是“安全第一,稳定第二,性能第三”。AtomicOS的功能包括自定义引导加载程序、带堆栈保护的保护模式、虚拟和物理内存管理、VGA文本模式、内存保护、W^X强制执行、安全内存擦除和页面级访问控制。它还包括Tempo,这是一种确定性编程语言,编译成带有WCET分析的x86汇编代码。 AtomicOS并非生产就绪,缺乏网络、文件系统和健壮的设备驱动程序。它是根据MIT许可证发布的开源项目,要求署名,分支需要更改名称,并记录修改内容。欢迎通过分支、特性分支和拉取请求贡献代码。

Hacker News 上关于 AtomicOS 的讨论摘要: AtomicOS,一个号称“安全至上”的用 C 语言编写的操作系统,引发了热议。鉴于其 C 语言实现以及 0.5 版本缺乏授权原语,用户对其安全性声明表示质疑。一位用户惊讶于一个 2025 年旨在追求新颖性的项目居然是用 C 语言编写的,因为它以存在安全漏洞而闻名。 该操作系统声称包含“真正的加密”和“确定性语言”,也受到了质疑。一位评论者质疑在现代 CPU 上保证代码完成在 100ns 内的可行性,并提到了 TLB 未命中和缓存未命中等因素。另一位用户认为该项目可能是由 AI 生成的,因为自述文件的格式标准化,包含表情符号和列表。
相关文章

原文

A security-first operating system built from scratch with real memory protection, cryptography, and a deterministic programming language.

Version License Platform

AtomicOS is an educational operating system that prioritizes security over performance. Unlike many hobby OS projects, it implements real security features including AES-128 encryption, SHA-256 hashing, and a complete Memory Management Unit (MMU).

Philosophy: "Seguridad primero, luego estabilidad y luego performance" (Security first, then stability, then performance)

  • ✅ Custom bootloader (Multiboot compliant)
  • ✅ Protected mode with stack protection
  • ✅ Memory Management Unit (MMU) with 2-level paging
  • ✅ Physical and virtual memory management
  • ✅ VGA text mode with color support
  • Real AES-128 encryption (not XOR!)
  • SHA-256 cryptographic hashing
  • ✅ Memory guards and bounds checking
  • ✅ W^X (Write XOR Execute) enforcement
  • ✅ Secure memory wiping on free
  • ✅ Page-level access control

Tempo Programming Language

  • ✅ Deterministic execution
  • ✅ Worst-Case Execution Time (WCET) analysis
  • ✅ Compiles to x86 assembly
  • ✅ Integrated runtime in kernel
  • i686-elf-gcc (cross-compiler for x86)
  • nasm (Netwide Assembler)
  • qemu-system-i386 (for testing)
  • make
# Build AtomicOS v0.4 with MMU
make -f Makefile.v4

# Run in QEMU
./run_mmu.sh
# v0.3 - Security-first design
make -f Makefile.v3
./run_atomicos.sh

# Simple visual demo
make -f Makefile.demo
./ver_demo.sh
AtomicOS/
├── kernel/
│   ├── kernel_v4_mmu.c    # Latest kernel with MMU
│   ├── mmu.c              # Memory Management Unit
│   ├── crypto_real.c      # AES-128 & SHA-256
│   ├── boot.asm           # Bootloader
│   └── ...
├── tempo/
│   ├── tempo_compiler.c   # Tempo language compiler
│   ├── LANGUAGE_SPEC.md   # Language specification
│   └── examples/
└── docs/
    ├── REALITY_CHECK.md   # Honest assessment
    └── EVIDENCE_*.md      # Test results
0x00000000 - 0x003FFFFF : Kernel Space (4MB)
0x00400000 - 0xBFFFFFFF : User Space
0xC0000000 - 0xFFFFFFFF : Kernel Mirror (Higher Half)
  • AES-128: Full implementation with S-boxes, MixColumns, and key scheduling
  • SHA-256: Complete with 64 rounds and proper constants
  • MMU: Hardware-enforced memory protection via page tables

This is an educational project. While it implements real security concepts, it is NOT production-ready:

  • No network stack
  • No file system
  • No device drivers (except basic VGA)
  • Single-threaded execution
  • Limited error handling

MIT License with attribution requirements. See LICENSE file.

Key points:

  • ✅ Open source - you can use, modify, and distribute
  • ✅ Attribution required - must credit original project
  • ✅ Name protection - forks must use different name
  • ✅ Change disclosure - modifications must be documented

Contributions welcome! Please:

  1. Fork the repository
  2. Create a feature branch
  3. Document your changes
  4. Submit a pull request

Original Author: Ignacio Peña Created: 2024

AtomicOS Boot Demo on YouTube - Boot demonstration and features


"No exploits, no crashes, no lies." - AtomicOS motto

联系我们 contact @ memedata.com