日本語版
最新ニュース
科学&テクノロジー

Github -Ipenas -Cl/Atomicos:Atomicos-ゼロから構築されたセキュリティファーストオペレーティングシステム。

実際のメモリ保護、暗号化、決定論的なプログラミング言語を備えたゼロから構築されたセキュリティファーストオペレーティングシステム。 Atomicosは、パフォーマンスよりもセキュリティを優先する教育オペレーティングシステムです。多くの趣味OSプロジェクトとは異なり、AES-128暗号化、SHA-256ハッシュ、完全なメモリ管理ユニット(MMU)などの実際のセキュリティ機能を実装しています。 哲学:「最初にセキュリティ、次に安定性、次にパフォーマンス」(セキュリティ最初、安定性、パフォーマンス) customカスタムブートローダー(マルチビートコンプライアント) stack保護を備えた保護モード 2レベルのページングを備えたメモリ管理ユニット(MMU) ✅物理的および仮想メモリ管理 colorカラーサポート付きのVGAテキストモード ✅ 実際のAES-128暗号化 (xorではありません!) ✅ SHA-256暗号化ハッシュ memoryメモリガードと限界チェック ✅w^x(xor executeを書き込み)施行 free無料でメモリを安全に拭きます pageページレベルのアクセス制御 テンポプログラミング言語 decionistic決定論的実行 ✅最悪の実行時間(WCET)分析 x86アセンブリにコンパイルします cernelカーネルの統合ランタイム i686-elf-gcc (x86のクロスコンパイラ) nasm (ネットワイドアセンブリ) qemu-system-i386 (テスト用) make # Build AtomicOS v0.4 with MMU make -f…

Github -Ipenas -Cl/Atomicos:Atomicos-ゼロから構築されたセキュリティファーストオペレーティングシステム。

1750465849
2025-06-20 23:28:00

実際のメモリ保護、暗号化、決定論的なプログラミング言語を備えたゼロから構築されたセキュリティファーストオペレーティングシステム。


ライセンス
プラットフォーム

Atomicosは、パフォーマンスよりもセキュリティを優先する教育オペレーティングシステムです。多くの趣味OSプロジェクトとは異なり、AES-128暗号化、SHA-256ハッシュ、完全なメモリ管理ユニット(MMU)などの実際のセキュリティ機能を実装しています。

哲学:「最初にセキュリティ、次に安定性、次にパフォーマンス」(セキュリティ最初、安定性、パフォーマンス)

  • customカスタムブートローダー(マルチビートコンプライアント)
  • stack保護を備えた保護モード
  • 2レベルのページングを備えたメモリ管理ユニット(MMU)
  • ✅物理的および仮想メモリ管理
  • colorカラーサポート付きのVGAテキストモード
  • 実際のAES-128暗号化 (xorではありません!)
  • SHA-256暗号化ハッシュ
  • memoryメモリガードと限界チェック
  • ✅w^x(xor executeを書き込み)施行
  • free無料でメモリを安全に拭きます
  • pageページレベルのアクセス制御

テンポプログラミング言語

  • decionistic決定論的実行
  • ✅最悪の実行時間(WCET)分析
  • x86アセンブリにコンパイルします
  • cernelカーネルの統合ランタイム
  • i686-elf-gcc (x86のクロスコンパイラ)
  • nasm (ネットワイドアセンブリ)
  • qemu-system-i386 (テスト用)
  • 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:S-Boxes、MixColumns、およびキースケジューリングを使用した完全な実装
  • SHA-256:64ラウンドと適切な定数を備えています
  • MMU:ページテーブルを介したハードウェア強化メモリ保護

これはです 教育プロジェクト。実際のセキュリティの概念を実装していますが、生産対応ではありません。

  • ネットワークスタックはありません
  • ファイルシステムはありません
  • デバイスドライバーなし(基本的なVGAを除く)
  • シングルスレッド実行
  • 限られたエラー処理

帰属要件を備えたMITライセンス。見る ライセンス ファイル。

キーポイント

  • ✅オープンソース – 使用、変更、配布できます
  • comsiontiontributションが必要 – 元のプロジェクトをクレジットする必要があります
  • ✅名前保護-Forksは別の名前を使用する必要があります
  • ✅開示の変更 – 変更を文書化する必要があります

貢献を歓迎します!お願いします:

  1. リポジトリをフォークします
  2. 機能ブランチを作成します
  3. 変更を文書化します
  4. プルリクエストを送信します

元の著者:イグナシオ・ペーニャ作成:2024

YouTubeのAtomicos Bootデモ – ブートデモと機能


「エクスプロイトもクラッシュも嘘もありません。」 -Atomicosモットー

#Github #Ipenas #ClAtomicosAtomicosゼロから構築されたセキュリティファーストオペレーティングシステム

執筆者について: nipponese

Nipponese News編集部は、国内外のニュースを日本語で分かりやすくお届けします。