| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2023-09-27 | Switch to Raspberry Pi downstream kernel | Joe Mou | |
| - Seems to be a better idea to use device tree blobs from the same kernel (see https://lkml.org/lkml/2022/3/26/90). - Adds some device-specific device nodes, which provides better support (like for vcgencmd). | |||
| 2023-09-27 | Basic loose ends | Joe Mou | |
| 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-19 | minimal remote login | Joe Mou | |
| 2023-09-19 | nixos-generate-config | Joe Mou | |
