A simple SDK for Nix on Raspberry Pi.