b29ee6c8ff
And rename the old ubootRaspberryPi3 to ubootRaspberryPi3_32bit. |
||
---|---|---|
.. | ||
default.nix | ||
gas220.patch | ||
guruplug-file-systems.patch | ||
guruplug-usb-msd-multi-lun.patch | ||
guruplug.nix | ||
nanonote.nix | ||
sheevaplug.nix |
b29ee6c8ff
And rename the old ubootRaspberryPi3 to ubootRaspberryPi3_32bit. |
||
---|---|---|
.. | ||
default.nix | ||
gas220.patch | ||
guruplug-file-systems.patch | ||
guruplug-usb-msd-multi-lun.patch | ||
guruplug.nix | ||
nanonote.nix | ||
sheevaplug.nix |