From 5b9934debe325a0b05e7ba99f01f20bd9db45125 Mon Sep 17 00:00:00 2001 From: Marek Paśnikowski Date: Wed, 31 Jul 2024 01:13:21 +0200 Subject: style(portable-bios): modernize the comments --- machines/portable-bios.scm | 33 +++++++++++++++++++++------------ 1 file changed, 21 insertions(+), 12 deletions(-) diff --git a/machines/portable-bios.scm b/machines/portable-bios.scm index bbbe1f1..334054d 100644 --- a/machines/portable-bios.scm +++ b/machines/portable-bios.scm @@ -1,11 +1,19 @@ (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 + #:use-module (gnu bootloader) + + ;; grub-bootloader + #:use-module (gnu bootloader grub) + + ;; file-system + #: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*) @@ -16,7 +24,8 @@ (targets bootloader-targets) (keyboard-layout keyboard-layout*)))) -;; string -> (file-system) +;; string -> +;; (list record* file-system) (define-public (file-systems* host-name*) (let* ((root-device-string (string-append host-name* "-root")) @@ -27,20 +36,20 @@ (device root-device)))) (list file-system-root))) -;; (record package) +;; (list record* package) (define-public firmware* (list linux-firmware)) -;; (string) +;; (list string) (define-public hardware-groups (list "audio" "netdev" "video")) -;; record package +;; record* package (define-public initrd* microcode-initrd) -;; record package +;; record* package (define-public kernel* linux) -- cgit v1.2.3