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

..

loader

Raspberry Pi 2 changes to make it boot.

2015-05-09 17:05:24 +00:00

emergency-mode.nix

…

kernel.nix

Add hid_lenovo to initrd kernel modules

2015-02-13 01:42:13 +01:00

kexec.nix

…

luksroot.nix

Style fix

2015-05-04 14:18:14 +02:00

modprobe.nix

nixos/modprobe: wrap all of kmod

2015-01-06 16:39:00 +03:00

networkd.nix

networkd: Fix evaluation of systemd.network units.

2015-04-30 06:49:10 +02:00

pbkdf2-sha512.c

…

readonly-mountpoint.c

…

resolved.nix

Don't include networkd units unless enabled

2015-04-19 22:06:45 +02:00

shutdown.nix

…

stage-1-init.sh

stage-1: fix hibernation (close #6675)

2015-03-07 13:00:08 +01:00

stage-1.nix

nixos/initrd: Do a lazy library copy in hopes to save some space for replaced binaries

2015-03-29 21:53:25 -07:00

stage-2-init.sh

Revert "Set stricter permissions on /nix/store"

2015-04-07 15:10:41 +02:00

stage-2.nix

stage-2-init: Don't depend on sysvtools

2015-04-20 11:32:28 +02:00

systemd-lib.nix

networkd: Fix evaluation of systemd.network units.

2015-04-30 06:49:10 +02:00

systemd-unit-options.nix

networkd: Fix evaluation of systemd.network units.

2015-04-30 06:49:10 +02:00

systemd.nix

networkd: Fix evaluation of systemd.network units.

2015-04-30 06:49:10 +02:00

timesyncd.nix

Don't include networkd units unless enabled

2015-04-19 22:06:45 +02:00

tmp.nix

…