diff options
author | Marek Paśnikowski <marek@marekpasnikowski.pl> | 2024-07-24 23:34:55 +0200 |
---|---|---|
committer | Marek Paśnikowski <marek@marekpasnikowski.pl> | 2024-07-24 23:51:24 +0200 |
commit | 71eb5fc77d44d63e072799a5e628de6fee479807 (patch) | |
tree | 58db346f33446f0fa88d3f6c9518c5005b74c971 /machines | |
parent | 68ebf58474851f6c327997f2236c2689782d71d1 (diff) |
feat!(machine): install microcode from nonguix in portable-bios
Diffstat (limited to 'machines')
-rw-r--r-- | machines/portable-bios.scm | 13 |
1 files changed, 9 insertions, 4 deletions
diff --git a/machines/portable-bios.scm b/machines/portable-bios.scm index b1a240c..a952773 100644 --- a/machines/portable-bios.scm +++ b/machines/portable-bios.scm @@ -1,8 +1,9 @@ (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 + #: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 + #:use-module (nongnu system linux-initrd) ; microcode-initrd ) ;; bootloader-configuration @@ -25,5 +26,9 @@ (list file-system-root))) ;; record package +(define-public initrd* + microcode-initrd) + +;; record package (define-public kernel* linux) |