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
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
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
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
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