get praxis

build from source

or clone the repo and build it locally. you need make, qemu, and standard linux build tools.

git clone https://github.com/AnimatedGTVR/praxis-os
cd praxis-os
make iso
make qemu        # boot the live iso
make qemu-install # install into a vm disk

the iso lands at build/praxis.iso.

download bedrock v1

github.com/AnimatedGTVR/praxis-os/releases/tag/BEDROCKV1

download praxis-bedrock.iso (46.5 MB) and write it to a usb drive or boot in qemu.

sha256: f82d0b88e4586537c01711886d71de933e82128c90a4d572937c9e8e5cbd36e7

# write to usb (replace sdX with your device)
sudo dd if=praxis-bedrock.iso of=/dev/sdX bs=4M sync

# or boot in qemu
make qemu              # boot the live iso
make qemu-install      # install test with writable disk
make qemu-installed    # boot the installed disk with uefi
make qemu-full         # staged desktop target, boots immediately
make smoke             # headless boot, verifies shell prompt