colin/nix-files
1
0
Fork 1
Code Issues Pull Requests Projects Releases Wiki Activity

servo: don't ship custom linux kernel packages anymore

Browse Source 
it's probably not necessary. i confirmed the kernel provides rpi400 dtb
by default.
This commit is contained in:
colin
2022-11-05 22:29:20 -07:00
parent a0d332766a
commit 12b5e68b25
1 changed files with 0 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
machines/servo/hardware.nix
View File

@@ -3,12 +3,6 @@
{ pkgs, ... }: { pkgs, ... }:
{ {
# i changed this becuse linux 5.10 didn't have rpi-400 device tree blob.
# nixos-22.05 linux 5.15 DOES have these now.
# it should be possible to remove this if desired, but i'm not sure how the rpi-specific kernel differs.
# see: https://github.com/raspberrypi/linux
boot.kernelPackages = pkgs.linuxPackages_rpi4;
# raspberryPi boot loader creates extlinux.conf. # raspberryPi boot loader creates extlinux.conf.
# otherwise, enable the generic-extlinux-compatible loader below. # otherwise, enable the generic-extlinux-compatible loader below.
# note: THESE ARE MUTUALLY EXCLUSIVE. generic-extlinux-compatible causes uboot to not be built # note: THESE ARE MUTUALLY EXCLUSIVE. generic-extlinux-compatible causes uboot to not be built