Downloads

Get LingOS.

Every artifact is hashed and signed at release time with a post-quantum key -- verify before you boot it.

Loading releases...

Run it

Boot LingOS

No dedicated imaging tool yet -- use QEMU, VirtualBox, or any standard USB/SD writer: Rufus, balenaEtcher, or dd.

QEMU (x86_64)

Attach a blank disk so lingfs has somewhere to write, and an e1000 so networking works.

qemu-img create -f raw lingos-disk.img 256M
qemu-system-x86_64 -m 1G -vga std -cdrom lingos-x86_64.iso -drive file=lingos-disk.img,format=raw,if=ide -nic user,model=e1000 -boot d

Pick Live in the boot menu for the desktop, or Install to put it on the disk.

VirtualBox / real PC

VirtualBox: new VM, type Other/Unknown (64-bit), attach the ISO as the optical drive, add an IDE disk, and set the network adapter to Intel PRO/1000 (e1000).

Real hardware: write the ISO to a USB stick and boot it in BIOS / legacy mode.

Raspberry Pi 3 / 4 / 5

Format an SD card FAT32. On a Pi 3 or 4 copy the official firmware (bootcode.bin, start*.elf, fixup*.dat); a Pi 5 boots from its EEPROM. Rename lingos-kernel8-rpi.img to kernel8.img (or use lingos-rpi-boot.img, which already has it) and add a config.txt:

arm_64bit=1 · kernel=kernel8.img · os_check=0 · framebuffer_depth=32

os_check=0 is required on the Pi 5; it is harmless on 3 and 4. The full config lives in live/config.txt.

First boot

LingOS starts at a sign-in screen; on first boot it asks you to create an account. Press Super for the Applications menu, Alt+Tab between apps, Ctrl+Q to leave a full-screen app.

Settings > Network has a Test button if you want to see the network stack at work.

Verify

Check before you boot

SHA3-256 is the integrity check. The ML-DSA-65 signature (FIPS 204, post-quantum) is the authenticity check: it proves the file was signed by the LingOS release key, not only that it arrived intact. MD5 is published for quick corrupted-download checks only -- it is cryptographically broken, not a security check.

CHECKSUMS.txt signing-key.ml-dsa-65.pub

verify.sh
# integrity: compare with lingos-x86_64.iso.sha3-256
openssl dgst -sha3-256 lingos-x86_64.iso

# authenticity: verify lingos-x86_64.iso.sig against the file
# using signing-key.ml-dsa-65.pub (raw ML-DSA-65 public key)
# and any FIPS 204 compliant verifier

# the full manifest, all artifacts
curl -O https://os.ling-lang.org/static/downloads/latest/CHECKSUMS.txt