colin d80bd7d162 inline image building, and (for lappy) use a generic-extlinux-compatible bootloader ... the generic bootloader will allow more code-sharing with rpi and pinephone. desko should soon use the generic bootloader as well. problems: lappy can't boot from USB stick. it makes it to the initrd, but there's no dev nodes for the USB drive. unsure if this is how it was before, too.		2022-06-23 00:24:39 -07:00
..
services	ddns-he: start timer on boot	2022-06-20 15:36:48 -07:00
default.nix	inline image building, and (for lappy) use a generic-extlinux-compatible bootloader	2022-06-23 00:24:39 -07:00
fs.nix	rename 'uninsane' machine -> 'servo'	2022-06-12 15:11:41 -07:00
hardware.nix	rename 'uninsane' machine -> 'servo'	2022-06-12 15:11:41 -07:00
net.nix	rename 'uninsane' machine -> 'servo'	2022-06-12 15:11:41 -07:00
users.nix	rename 'uninsane' machine -> 'servo'	2022-06-12 15:11:41 -07:00