blob: e65264c55fc33a8d5cc470a12d78413df60458f3 (
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
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
|
;;; SPDX-License-Identifier: GPL-3.0-or-later
;;; SPDX-FileCopyrightText: 2026 Marek Paśnikowski <marek@marekpasnikowski.pl>
;;; COPYRIGHT NOTICE
;;;
;;; Copyright 2026, Marek Paśnikowski <marek@marekpasnikowski.pl>
;;; LICENSE NOTICE
;;;
;;; This library is free software: you can redistribute it and/or modify it under the terms of
;;; the GNU General Public License as published by the Free Software Foundation,
;;; either version 3 of the License, or (at your option) any later version.
;;;
;;; This library is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY;
;;; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
;;; See the GNU General Public License for more details.
;;;
;;; You should have received a copy of the GNU General Public License along with this library.
;;; If not, see <https://www.gnu.org/licenses/>.
(define-module (machines inspiron)
;; 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/sda")) ; 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))))
(list file-system-root)))
;; (list record* package)
(define-public firmware*
(list linux-firmware))
;; (list string)
(define-public hardware-groups
(list "audio"
"netdev"
"video"))
;; 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*)))
|
