| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2023-09-28 | Initial Syncthing module | Joe Mou | |
| 2023-09-27 | Mount /nix with noatime | Joe Mou | |
| 2023-09-27 | Dynamic DNS with bootstrapped SIG(0) key | Joe Mou | |
| 2023-09-27 | Add trusted-user to simplify sharing of binary cache | Joe Mou | |
| Note to cross-compile, need to set: nixpkgs.buildPlatform = "x86_64-linux"; This will use a LOT of disk space in the Nix store (10+ GB). | |||
| 2023-09-27 | Give up on enabling sound | Joe Mou | |
| Probably needs dtparam=audio=on in /boot/config.txt for snd_bcm2835 | |||
| 2023-09-27 | Disable X server and GPU | Joe Mou | |
| Note disabling environment.noXlibs causes many cache misses. | |||
| 2023-09-27 | Play around with enabling X server | Joe Mou | |
| Would also want to consider raising CMA (dynamic GPU memory) | |||
| 2023-09-27 | Add /boot/config.txt (platform firmware configuration) | Joe Mou | |
| 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-20 | fix up additional subvolumes | Joe Mou | |
| 2023-09-19 | minimal remote login | Joe Mou | |
| 2023-09-19 | nixos-generate-config | Joe Mou | |
 |
index : mono.git | |
| Unnamed repository; edit this file 'description' to name the repository. |
| summaryrefslogtreecommitdiff |