diff options
Diffstat (limited to 'machines/portable-bios.scm')
-rw-r--r-- | machines/portable-bios.scm | 61 |
1 files changed, 0 insertions, 61 deletions
diff --git a/machines/portable-bios.scm b/machines/portable-bios.scm deleted file mode 100644 index 17714fe..0000000 --- a/machines/portable-bios.scm +++ /dev/null @@ -1,61 +0,0 @@ -(define-module (machines portable-bios) - ;; bootloader-configuration - #:use-module (gnu bootloader) - - ;; grub-bootloader - #:use-module (gnu bootloader grub) - - ;; file-system - ;; swap-space - #:use-module (gnu system file-systems) - - ;; linux - ;; linux-firmware - #:use-module (nongnu packages linux) - - ;; microcode-initrd - #:use-module (nongnu system linux-initrd)) - -;; bootloader-configuration -(define-public (bootloader-configuration* keyboard-layout*) - (let ((bootloader* grub-bootloader) - (bootloader-targets (list "/dev/sdb")) ; TODO: generalize the target - ) - (bootloader-configuration (bootloader bootloader*) - (targets bootloader-targets) - (keyboard-layout keyboard-layout*)))) - -;; string -> -;; (list record* 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)))) - (append %base-file-systems - (list file-system-root)))) - -;; (list record* package) -(define-public firmware* - (list linux-firmware)) - -;; record* package -(define-public initrd* - microcode-initrd) - -;; record* package -(define-public kernel* - linux) - -;; string -> -;; (list record* swap-space) -(define-public (swap-devices* host-name*) - (let* ((label* (string-append host-name* "-swap")) - - (target* (file-system-label label*)) - - (swap-space* (swap-space (target target*)))) - (list swap-space*))) |