| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2023-09-22 | Switch boot loader to U-Boot | Joe Mou | |
| Previously was using Tianocore EDK II build with old platform firmware. Switch to NixOS SD image build, which has stock Raspberry Pi OS firmware (but missing the DTO overlays/ directory) chained into U-Boot. | |||
| 2023-09-20 | fix up additional subvolumes | Joe Mou | |
| 2023-09-19 | minimal remote login | Joe Mou | |
| 2023-09-19 | nixos-generate-config | Joe Mou | |
