# NixOS configuration for Skipper, Rico1 and Rico2