{ config, lib, pkgs, ... }: { imports = [ ]; krebs.hosts.minimal = { cores = 1; secure = false; }; boot.loader.grub.enable = false; boot.loader.systemd-boot.enable = true; krebs.build = { host = config.krebs.hosts.minimal; user = config.krebs.users.krebs; }; }