96edbe4a0e
In particular, now the mainline kernel can be built on the RPi 1 as well (so kernelBaseConfig should always be a mainline defconfig from now on). And RPi 2 users can now use linux_rpi without doing the `nixpkgs.config.platform = lib.systems.platforms.raspberrypi2;` dance. |
||
|---|---|---|
| .. | ||
| bsd | ||
| darwin | ||
| gnu | ||
| linux | ||
| windows | ||