Files
nixos-configs/stm32f4x.cfg