33 lines (23 loc) · 513 Bytes

TiK-OS

A NixOS based operating system that displays the TiK infoscreen

Supported devices

raspberry pi 3 & 4
generic pc (same as builder host architecture)

Building

Pi

Run

nix build .#pi

.img file is found under result/sd-image

PC

Run

nix build .#pc

Bootable .iso file is found under result/iso

Testing in a VM

You can test the (pc) OS in qemu by running the following command:

nix run .#vm