;;; SPDX-FileCopyrightText: 2024 Brian Kubisiak <brian@kubisiak.com>
;;;
;;; SPDX-License-Identifier: CC0-1.0

(use-modules
 (gnu bootloader)
 (gnu bootloader grub)
 (gnu packages base)
 (gnu packages bash)
 (gnu services base)
 (gnu services sysctl)
 (gnu system)
 (gnu system file-systems)
 (guix gexp))

(operating-system
  (host-name "milli-guix")
  (bootloader (bootloader-configuration
               (bootloader grub-efi-bootloader)
               (targets '("/boot/efi"))))
  (file-systems (append
                 (list (file-system
                         (device "/dev/vda1")
                         (mount-point "/")
                         (type "ext4")))
                 %base-file-systems))
  (setuid-programs '())
  (services
   (list (service login-service-type)
         (service virtual-terminal-service-type)
         (service syslog-service-type)
         (service mingetty-service-type (mingetty-configuration
                                         (tty "tty1")))
         (service static-networking-service-type
                  (list %loopback-static-networking))
         (service udev-service-type)
         (service sysctl-service-type)
         (service special-files-service-type
                  `(("/bin/sh" ,(file-append bash "/bin/sh"))
                    ("/usr/bin/env" ,(file-append coreutils "/bin/env"))))))
  (packages (list coreutils)))