nixpkgs/nixos/modules/system/boot/loader/raspberrypi
John Ericson 8929989614 lib: Clean up how linux and gcc config is specified
The `platform` field is pointless nesting: it's just stuff that happens
to be defined together, and that should be an implementation detail.

This instead makes `linux-kernel` and `gcc` top level fields in platform
configs. They join `rustc` there [all are optional], which was put there
and not in `platform` in anticipation of a change like this.

`linux-kernel.arch` in particular also becomes `linuxArch`, to match the
other `*Arch`es.

The next step after is this to combine the *specific* machines from
`lib.systems.platforms` with `lib.systems.examples`, keeping just the
"multiplatform" ones for defaulting.
2021-01-21 22:44:09 -05:00
..
raspberrypi-builder.nix Revert "nixos/raspberrypi-builder: fix cross using buildPackages" 2020-09-08 20:14:13 +02:00
raspberrypi-builder.sh raspberrypi-builder: ensure scripts fails on error 2020-06-11 14:41:18 -04:00
raspberrypi.nix lib: Clean up how linux and gcc config is specified 2021-01-21 22:44:09 -05:00
uboot-builder.nix nixos/uboot-builder: fix cross using buildPackages 2020-05-10 16:03:31 +02:00
uboot-builder.sh raspberrypi-bootloader: uboot: allow specification of target directory 2018-10-21 17:44:11 +03:00