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
..
builder.sh	raspberryPi boot loader: don't remove xx-initrd files	2017-02-12 02:48:57 +02:00
raspberrypi.nix	raspberryPi boot loader: fix booting Raspberry Pi 3	2017-02-12 02:48:57 +02:00