EN
Download ISO — RedderOS
// download

RedderOS v0.3

Hybrid ISO image for amd64. Boots on BIOS + UEFI from a USB stick or a virtual machine.

version
v0.3 (prototipo)
architecture
amd64
boot
BIOS + UEFI
size
439 MB

Checksum in a separate file: redderos-v0.3-amd64.iso.sha256.

SHA-256
5e1616aeacd3561137149cb837b81ec2df27c7c8e155ce0c77d688493955433e

GPG signature: coming soon pending. Until there is a signature, the SHA-256 confirms that the file matches the one published here, but it does not prove who published it.

Verify and write

  1. Verify the SHA-256

    Linux or macOS. The command prints OK if it matches. On macOS without sha256sum, use shasum -a 256 -c with the same line.

    sh
    echo "5e1616aeacd3561137149cb837b81ec2df27c7c8e155ce0c77d688493955433e  redderos-v0.3-amd64.iso" | sha256sum -c -

    Windows (PowerShell). Returns True if it matches.

    PowerShell
    (Get-FileHash .\redderos-v0.3-amd64.iso -Algorithm SHA256).Hash -eq "5e1616aeacd3561137149cb837b81ec2df27c7c8e155ce0c77d688493955433e"

    If it does not match, delete the file and download it again. Do not write it.

  2. Write the USB stick

    Linux. Identify the USB stick with lsblk and replace /dev/sdX with the whole device (not a partition).

    sh
    lsblk
sudo dd if=redderos-v0.3-amd64.iso of=/dev/sdX bs=4M status=progress conv=fsync

    macOS. Identify the USB stick with diskutil list, unmount it and write to the raw device (/dev/rdiskN).

    sh
    diskutil list
diskutil unmountDisk /dev/diskN
sudo dd if=redderos-v0.3-amd64.iso of=/dev/rdiskN bs=4m

    Windows. Use balenaEtcher or Rufus. In Rufus, when it asks how to write the ISOHybrid image, choose Write in DD Image mode. ISO mode does not work.

  3. Boot from the USB stick

    Choose the USB stick in your computer’s boot menu. Then follow Getting started.

All versions

Each version is published in its own folder, with the ISO and its .sha256. Always use the latest one unless you need to reproduce an earlier result.

VersionDateSizeSHA-256Files
v0.3 (prototipo)439 MB5e1616aeacd3…ISO · .sha256

The GRUB menu offers 5 entries. Details of each one are in Boot menu.

  • RedderOS

    The everyday boot option: login screen and desktop, no administrator rights. Choose this one unless you have a specific reason not to.

  • Temporary administrator

    Like the normal option, but the user has passwordless sudo for that session. Only for tasks that need it.

  • Serial console / debugging

    No desktop, with the console on the serial port and kernel messages visible. For diagnosing a boot that fails.

  • Self-test and shut down

    Runs the automated checks, prints the result and shuts down. See the results under Transparency.

  • Text mode, no desktop

    Login and session on the text console. For computers with little RAM or whose graphics do not work.