64-bit Inferno® OS for embedded systems, servers, and AI agents.

InferNode is a modern Inferno® distribution with JIT compilation on AMD64 (14×) and ARM64 (9×), namespace-isolated AI agents (Veltro), an optional SDL3 GUI (Lucia + Xenith), and a complete Plan 9-inspired environment — all in under 30 MB of RAM.

Every tagged release ships signed binaries for macOS and Linux on the latest release page. No toolchain, no build step — download and run.

• macOS (Apple Silicon) — infernode-*-macos-arm64.dmg: open, drag to Applications, launch.
• Linux x86_64 (GUI) — infernode-*-linux-amd64-gui.tar.gz: SDL3 is bundled.
• Linux ARM64 (GUI) — infernode-*-linux-arm64-gui.tar.gz: for Jetson, Raspberry Pi, etc.
• Linux (headless) — infernode-*-linux-amd64.tar.gz or infernode-*-linux-arm64.tar.gz.
• Container — multi-arch (amd64 + arm64) headless image on GHCR:

  docker run -it ghcr.io/infernode-os/infernode:latest

tar xzf infernode-*-linux-*-gui.tar.gz
cd infernode-*-linux-*-gui
./infernode                   # or ./infernode-headless in the non-GUI tarballs

Every release asset is published with a cosign bundle (.pem + .sig) and a signed SHA256SUMS.txt; container images carry SLSA build provenance. See Releases for the full history.

Prefer a release unless you need bleeding-edge master or a platform without a prebuilt binary.

Linux (x86_64 or ARM64):

git clone https://github.com/infernode-os/infernode.git
cd infernode
./install-sdl3.sh              # one-time, GUI only
./build-linux-amd64.sh         # or ./build-linux-arm64.sh
./run-lucia-linux.sh           # launch the GUI

Pass headless to the build script to skip SDL3. For a headless shell, run ./emu/Linux/o.emu -c1 -r. (the ; prompt gives you a full Inferno® shell with 815 utilities).

macOS (Apple Silicon):

git clone https://github.com/infernode-os/infernode.git
cd infernode
./makemk.sh                    # bootstrap mk (one-time)
brew install sdl3 sdl3_ttf     # GUI only
./build-macos-sdl3.sh          # or ./build-macos-headless.sh
./run-lucia.sh                 # launch the GUI

For a headless shell, run ./emu/MacOSX/o.emu -c1 -r..

Windows (x86_64) — from an x64 Native Tools Command Prompt:

powershell -ExecutionPolicy Bypass -File build-windows-amd64.ps1
.\emu\Nt\o.emu.exe -r .

For the SDL3 GUI, see docs/WINDOWS-BUILD.md.

The -c1 flag enables the JIT; -r. tells the emulator to use the current directory as the Inferno® root. See QUICKSTART.md and docs/USER-MANUAL.md for more.

• Lightweight — 15–30 MB RAM, 2-second startup, ~10 MB on disk.
• JIT compiled — native code generation on AMD64 and ARM64; interpreter fallback everywhere.
• AI agents — namespace-isolated Veltro agents with 39 tool modules, LLM integration via 9P, and formally verified containment.
• GUI (optional) — three-zone tiling UI (Lucia) and an AI-native text environment (Xenith), rendered via SDL3 (Metal / Vulkan / D3D).
• Payments — native cryptocurrency wallet with x402 payment protocol, ERC-20 tokens, and budget-enforced agent spending. Experimental — testnet only.
• Go on Dis — the GoDis compiler translates Go source to Dis bytecode; 190+ test programs pass end-to-end.
• Formally verified — namespace isolation proven in TLA+ (3.17B states), SPIN, and CBMC.
• Quantum-safe crypto — ML-KEM, ML-DSA, SLH-DSA (FIPS 203/204/205).
• Complete — 800+ Limbo source files, a full shell, TCP/IP, 9P, and 815 compiled utilities.

Run with emu -c1 to enable the JIT (Dis bytecode → native code at module load).

Speedups are v1 suite (6 benchmarks, best-of-3). Full data: docs/BENCHMARKS.md. Performance envelope: docs/PERFORMANCE-SPECS.md.

• QUICKSTART.md — running in under a minute
• docs/USER-MANUAL.md — namespaces, devices, host integration
• docs/ARCHITECTURE.md — system architecture
• docs/XENITH.md — AI-native text environment
• docs/WALLET-AND-PAYMENTS.md — wallet, x402, secstore, key management
• appl/veltro/SECURITY.md — Veltro agent security model
• tools/godis/README.md — Go-to-Dis compiler architecture
• docs/WINDOWS-BUILD.md — Windows build and SDL3 GUI
• docs/DIFFERENCES-FROM-STANDARD-INFERNO.md — how InferNode differs from upstream
• formal-verification/README.md — TLA+, SPIN, CBMC proofs
• docs/DOCUMENTATION-INDEX.md — full index (100+ documents)

Contributions welcome — security audits, 9P integrations, bug fixes, and documentation all help. See CONTRIBUTING.md.

InferNode extends the MIT-licensed Inferno® OS with JIT compilers for AMD64 and ARM64, the Veltro AI agent system with formally verified namespace isolation, a cryptocurrency wallet with the x402 payment protocol, quantum-safe cryptography, a Go-to-Dis compiler, and an optional SDL3 GUI (Lucia + Xenith). It targets embedded systems, servers, and AI agent applications where a lightweight footprint and capability-based security matter.

MIT, as with the original Inferno® OS. See LICENSE.

_{Inferno® is a distributed operating system, originally developed at Bell Labs, and now maintained by trademark owner Vita Nuova®.}