Configuration for Raspberry Pi 4 home server. The top-level configuration files are for system-wide configuration while user-specific configuration is in hosts/hopst-pi/home.
The server is headless and therefore doesn't depend on any of the shared NixOS modules that deal with graphical applications.
Dynamic DNS with the namcheap DNS provider
Entrypoint for system-wide configuration
Raspberry Pi specific hardware configuration
Configuration for NGINX as a reverse proxy for services running on the home server
Wireguard VPN server