kuhelse's repositories
nixos-docker-sd-image-builder
Build custom SD images of NixOS for your Raspberry Pi (or any other supported AArch64 device) in 5-20 minutes.
Language:Nix000
u-boot-helios64
"Das U-Boot" Source Tree plus Helios64patch
Language:C000