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

Corrected firmwareConfig

Browse source
This commit is contained in:
Serĉanto de Scio 2019-10-17 13:52:29 +10:00
parent 2fd9b38a6b
commit db48af496f
Signed by: sercanto
GPG key ID: A4122FF3971B6865
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
Hardware/raspberry_pi_3_model_B.nix
View file

@ -27,10 +27,10 @@
enable = true; enable = true;
version = 3; version = 3;
uboot.enable = true; 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
]; '';
}; };
}; };
}; };