Thomas Kerber
cc5baf2d86
Various: Add support for raspberry pi 4.
2019-09-17 04:05:16 +01:00
Silvan Mosberger
478e7184f8
nixos/modules: Remove all usages of types.string
...
And replace them with a more appropriate type
Also fix up some minor module problems along the way
2019-08-31 18:19:00 +02:00
Christian Kampka
0d570e020e
Revert "treewide: use buildPackages for config builders"
...
This reverts commit 35af6e3605
2019-05-31 23:27:49 +02:00
Jeff Slight
c95407b327
boot/raspberrypi: replace deprecated configuration option
2019-02-08 11:36:09 -08:00
Matthew Bauer
921a47bc92
treewide: remove cross assertions
...
sd-image-raspberrypi, sd-image-aarch64, and
sd-image-armv7l-multiplatform can all be cross compiled now.
2019-01-02 23:02:50 -06:00
Matthew Bauer
35af6e3605
treewide: use buildPackages for config builders
2019-01-02 23:02:50 -06:00
Ben Wolsieffer
eadb9c822b
raspberrypi-bootloader: pass initrd to kernel
...
NixOS is unable to boot using the RPi bootloader (w/o U-Boot) unless the initrd
is configured.
2018-10-21 17:44:11 +03:00
Ben Wolsieffer
e2fbada6f8
raspberrypi-bootloader: uboot: allow specification of target directory
2018-10-21 17:44:11 +03:00
Ben Wolsieffer
1afff7c10b
raspberrypi-bootloader: support Raspberry Pi 3 w/o U-Boot and explicitly support
...
Raspberry Pi Zero
2018-10-21 17:44:11 +03:00
Ben Wolsieffer
bcb9e17bba
raspberrypi-bootloader: allow specification of target directory
2018-10-21 17:44:11 +03:00
John Ericson
7d85ade0cc
treewide: Purge stdenv.platform and top-level platform
...
Progress towards #27069
2018-08-20 15:22:46 -04:00
Bastian Köcher
6ed495cf13
raspberrypi-bootloader: Adds firmwareConfig config option
...
The `firmwareConfig` option will be appended to `/boot/config.txt`.
2018-04-22 18:27:17 +03:00
Bastian Köcher
8bc970bbc7
raspberrypi-bootloader: Adds support for using uboot
...
Uboot is copied into `/boot` in the installation process.
The boot entries are created by calling the `generic-extlinux-compatible` builder.
2018-04-22 18:27:17 +03:00
Ricardo M. Correia
123cbd40c2
raspberryPi boot loader: don't remove xx-initrd files
...
The Raspberry Pi boot loader was deleting all xx-initrd text files
(which simply contain the path to the actual initrd files) just after
having created them. The code was actually trying to delete real,
obsolete initrd files, which are named <hash>-initrd-initrd (after path
cleaning), but the glob was catching the other files as well.
2017-02-12 02:48:57 +02:00
Ricardo M. Correia
c19b17d14f
raspberryPi boot loader: fix booting Raspberry Pi 3
...
The Raspberry Pi 3 seems to need the .DTB file when booting the kernel,
so we must copy it to /boot when installing a new kernel.
2017-02-12 02:48:57 +02:00
Eric Sagnes
4a600b0437
raspberrypi module: use enum
2016-11-16 22:37:36 +09:00
Lluís Batlle i Rossell
d8a2bb86c0
Raspberry Pi 2 changes to make it boot.
...
It boots, but some things still don't work:
1) Installation of DTBs
2) Boot of initrd
Booting still needs a proper config.txt in /boot, which could probably be
managed by NixOS.
2015-05-09 17:05:24 +00:00
Joachim Fasting
d375550ead
nixos: add a few missing type specifiers under boot.*
2015-02-28 09:19:23 +01:00
Eelco Dolstra
29027fd1e1
Rewrite ‘with pkgs.lib’ -> ‘with lib’
...
Using pkgs.lib on the spine of module evaluation is problematic
because the pkgs argument depends on the result of module
evaluation. To prevent an infinite recursion, pkgs and some of the
modules are evaluated twice, which is inefficient. Using ‘with lib’
prevents this problem.
2014-04-14 16:26:48 +02:00
Eelco Dolstra
5c1f8cbc70
Move all of NixOS to nixos/ in preparation of the repository merge
2013-10-10 13:28:20 +02:00
