discovering nixos on a rp4