NixOS on ARM: Difference between revisions

Line 75:

=== Raspberry Pi (1) ===

The ARMv6 image boots out-of-the-box~~! Note that~~ Raspberry Pi 2 ~~is not yet supported by these images~~, ~~but in the future~~ the ~~ARMv7 image will work~~.

The ARMv6 image boots out-of-the-box.

=== Raspberry Pi 2 ===

The ARMv7 image should boot out-of-the-box, though the author hasn't personally tested this.

== NixOS installation & configuration ==

Line 95:

Line 99:

boot.kernelPackages = pkgs.linuxPackages_latest;

~~# Manual doesn't currently evaluate on ARM~~

~~services.nixosManual.enable = false;~~

nix.binaryCaches = lib.mkForce [ "http://nixos-arm.dezgeg.me/channel" ];

nix.binaryCachePublicKeys = [ "nixos-arm.dezgeg.me-1:xBaUKS3n17BZPKeyxL4JfbTqECsT+ysbDJz29kLFRW0=%" ];

Line 134:

Line 135:

=== pcDuino 3 Nano ===

USB keyboards and HDMI displays work perfectly! Also a 3.3v serial port via the 3-pin header works.

USB keyboards and HDMI displays work perfectly. Also a 3.3v serial port via the 3-pin header works.

=== Raspberry Pi (1) ===

=== Raspberry Pi (all versions) ===

HDMI ~~display works. USB keyboard works~~.

USB keyboards and HDMI displays work perfectly.

Using the 3.3v serial port via the ~~26-~~pin ~~connector~~ also ~~works~~.

Using the 3.3v serial port via the pin headers (exact location depends on hardware version) should also work.

== Porting NixOS to new boards ==

@@ Line 75: / Line 75: @@
 === Raspberry Pi (1) ===
-The ARMv6 image boots out-of-the-box! Note that Raspberry Pi 2 is not yet supported by these images, but in the future the ARMv7 image will work.
+The ARMv6 image boots out-of-the-box.
+=== Raspberry Pi 2 ===
+The ARMv7 image should boot out-of-the-box, though the author hasn't personally tested this.
 == NixOS installation & configuration ==
@@ Line 95: / Line 99: @@
    boot.kernelPackages = pkgs.linuxPackages_latest;
-  # Manual doesn't currently evaluate on ARM
-  services.nixosManual.enable = false;
    nix.binaryCaches = lib.mkForce [ "http://nixos-arm.dezgeg.me/channel" ];
    nix.binaryCachePublicKeys = [ "nixos-arm.dezgeg.me-1:xBaUKS3n17BZPKeyxL4JfbTqECsT+ysbDJz29kLFRW0=%" ];
@@ Line 134: / Line 135: @@
 === pcDuino 3 Nano ===
-USB keyboards and HDMI displays work perfectly! Also a 3.3v serial port via the 3-pin header works.
+USB keyboards and HDMI displays work perfectly. Also a 3.3v serial port via the 3-pin header works.
-=== Raspberry Pi (1) ===
+=== Raspberry Pi (all versions) ===
-HDMI display works. USB keyboard works.
+USB keyboards and HDMI displays work perfectly.
-Using the 3.3v serial port via the 26-pin connector also works.
+Using the 3.3v serial port via the pin headers (exact location depends on hardware version) should also work.
 == Porting NixOS to new boards ==