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

(use-modules
 (gnu bootloader)
 (gnu bootloader grub)
 (gnu system)
 (gnu system file-systems))

(operating-system
  (host-name "default-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)))