fabian/triviOS
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

trivios: remove references to NixOS

Browse source
This commit is contained in:
Alejandro Soto 2023-09-10 23:20:47 -06:00
parent df2c680394
commit 07a2cc3152
No known key found for this signature in database
GPG key ID: 570448E3382BDEC5
2 changed files with 35 additions and 8 deletions
Download patch file Download diff file Expand all files Collapse all files

24
flake.nix
View file

@ -59,7 +59,29 @@
DTB = true;
autoModules = true;
baseConfig = "defconfig";
extraConfig = "# Raspberry Pi 3 stuff. Not needed for s >= 4.10.\nARCH_BCM2835 y\nBCM2835_MBOX y\nBCM2835_WDT y\nRASPBERRYPI_FIRMWARE y\nRASPBERRYPI_POWER y\nSERIAL_8250_BCM2835AUX y\nSERIAL_8250_EXTENDED y\nSERIAL_8250_SHARE_IRQ y\n\n# Cavium ThunderX stuff.\nPCI_HOST_THUNDER_ECAM y\n\n# Nvidia Tegra stuff.\nPCI_TEGRA y\n\n# The default (=y) forces us to have the XHCI firmware available in initrd,\n# which our initrd builder can't currently do easily.\nUSB_XHCI_TEGRA m\n";
extraConfig = ''
# Raspberry Pi 3 stuff. Not needed for s >= 4.10.
ARCH_BCM2835 y
BCM2835_MBOX y
BCM2835_WDT y
RASPBERRYPI_FIRMWARE y
RASPBERRYPI_POWER y
SERIAL_8250_BCM2835AUX y
SERIAL_8250_EXTENDED y
SERIAL_8250_SHARE_IRQ y
# Cavium ThunderX stuff.
PCI_HOST_THUNDER_ECAM y
# Nvidia Tegra stuff.
PCI_TEGRA y
# The default (=y) forces us to have the XHCI firmware available in initrd,
# which our initrd builder can't currently do easily.
USB_XHCI_TEGRA m
'';
name = "aarch64-multiplatform";
preferBuiltin = true;
target = "Image";