blob: bbbe1f10b7bf14118a03c256dcf57872c18b6855 (
about) (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
|
(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* 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 -> (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))
;; (string)
(define-public hardware-groups
(list "audio"
"netdev"
"video"))
;; record package
(define-public initrd*
microcode-initrd)
;; record package
(define-public kernel*
linux)
|