sercanto/mio-ops
1
0
Fork 0
Code Issues Pull requests Packages Projects Releases Activity

Enabled uboot and added raspberrypi-tool

Browse source
This commit is contained in:
Serĉanto de Scio 2019-10-16 11:43:31 +10:00
parent 77e95bfcf7
commit 8bb9cb6270
Signed by: sercanto
GPG key ID: A4122FF3971B6865
1 changed files with 5 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
Hardware/raspberry_pi_3_model_B.nix
View file

@ -23,6 +23,7 @@
raspberryPi = { raspberryPi = {
enable = true; enable = true;
version = 3; version = 3;
uboot.enable = true;
firmwareConfig = [ firmwareConfig = [
"arm_64bit=1" # Force kernel loading system to assume a 64-bit kernel "arm_64bit=1" # Force kernel loading system to assume a 64-bit kernel
"hdmi_force_hotplug=1" # Enable headless booting "hdmi_force_hotplug=1" # Enable headless booting
@ -46,4 +47,8 @@
enableRedistributableFirmware = true; # Enable support for Pi firmware blobs enableRedistributableFirmware = true; # Enable support for Pi firmware blobs
}; };
environment.systemPackages = with pkgs; [
raspberrypi-tools # Userland tools for the Raspberry Pi board
];
} }