(define-module (machines portable-bios)
  #:use-module (gnu bootloader)		    ; bootloader-configuration
  #:use-module (gnu bootloader grub)	    ; grub-bootloader
  #:use-module (gnu system file-systems)    ; file-system
  #:use-module (nongnu packages linux)	    ; linux
					    ; linux-firmware
  #:use-module (nongnu system linux-initrd) ; microcode-initrd
  )

;; bootloader-configuration
(define-public bootloader-configuration*
  (let ((bootloader* grub-bootloader)
	(bootloader-targets (list "/dev/sdb")) ; TODO: generalize the target
	)
    (bootloader-configuration (bootloader bootloader*)
			      (targets bootloader-targets))))

;; string -> (file-system)
(define-public (file-systems* host-name*)
  (let* ((root-device-string (string-append host-name* "-root"))

	 (root-device (file-system-label root-device-string))

	 (file-system-root (file-system (type "ext4")
					(mount-point "/")
					(device root-device))))
    (list file-system-root)))

;; (record package)
(define-public firmware*
  (list linux-firmware))

;; record package
(define-public initrd*
  microcode-initrd)

;; record package
(define-public kernel*
  linux)