In the other article it was shown how to launch AIRA in VirtualBox.
The installation on Raspberry Pi is as simple as writing an image of AIRA on SD card using
dd or Etcher, for example.
This article includes two tutorials:
- Installation communication stack on your laptop for development purpose
- Switching a bare NixOS to AIRA