# Nixos on Raspberry Pi

Download [sd-image-aarch64-linux.img](https://www.cs.helsinki.fi/u/tmtynkky/nixos-arm/installer/sd-image-aarch64-linux.img)

* sha1sum: `aa228ac4ddf7c76b69f66f805d42587fb893bb2b`

* Flash image:

	sudo dd if=/home/jakob/Downloads/sd-image-aarch64-linux.img of=/dev/mmcblk0
	sync

## Serial connection

### QinHeng Electronics HL-340 USB-Serial adapter

* `1a86:7523 QinHeng Electronics HL-340 USB-Serial adapter`

![Raspberry PI - USB to TTL](raspberrypi3-qingheng-usb2ttl.png)

Doesn't work.

### FT232 Serial (UART) IC (rip-off probably)

* `Future Technology Devices International, Ltd FT232 Serial (UART) IC`

```
GND         - 3rd in top row, black cable
GPIO 14 TXD - 4th in top row, white cable
GPIO 15 RXD - 5th in top row, green cable
```

* Connect:

	nix-shell -p python36Packages.pyserial --run "miniterm.py /dev/ttyUSB0 115200"

It works!

## Links

* [Build expression - sd-image-aarch64.nix](https://github.com/NixOS/nixpkgs/blob/master/nixos/modules/installer/cd-dvd/sd-image-aarch64.nix)
* [NixOS on ARM - NixOS Wiki](https://nixos.wiki/wiki/NixOS_on_ARM#Raspberry_Pi_3)