diff options
| author | Marek Paśnikowski <marek@marekpasnikowski.pl> | 2024-07-24 18:14:02 +0200 |
|---|---|---|
| committer | Marek Paśnikowski <marek@marekpasnikowski.pl> | 2024-07-24 18:14:18 +0200 |
| commit | 68ebf58474851f6c327997f2236c2689782d71d1 (patch) | |
| tree | decf8ddbd973cc4badb357f65eafb729127f3848 /machines | |
| parent | d9ef2ccec737b077862f6a9280992e4d55742d70 (diff) | |
feat!: install linux kernel from nonguix
Diffstat (limited to 'machines')
| -rw-r--r-- | machines/portable-bios.scm | 11 |
1 files changed, 8 insertions, 3 deletions
diff --git a/machines/portable-bios.scm b/machines/portable-bios.scm index f531a16..b1a240c 100644 --- a/machines/portable-bios.scm +++ b/machines/portable-bios.scm @@ -1,7 +1,8 @@ (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 (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 ) ;; bootloader-configuration @@ -22,3 +23,7 @@ (mount-point "/") (device root-device)))) (list file-system-root))) + +;; record package +(define-public kernel* + linux) |