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

1. Run

nix build .#pi

2. .img file is found under result/sd-image

PC

1. Run

nix build .#pc

2. 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