Clarifying a few points.
Dreamcatcher is the name of our current hardware, which is an interested rtlsdr and CPU.
Skylark is the turnkey software that is used to receive the current Outernet broadcast. It is available for CHIPs and Dreamcatchers
Armbian is like Debian, but for ARM-based single board computers. It allows users to do whatever they want with the host computer.