From 68ebf58474851f6c327997f2236c2689782d71d1 Mon Sep 17 00:00:00 2001 From: Marek Paśnikowski Date: Wed, 24 Jul 2024 18:14:02 +0200 Subject: feat!: install linux kernel from nonguix --- machines/portable-bios.scm | 11 ++++++++--- 1 file changed, 8 insertions(+), 3 deletions(-) (limited to 'machines') 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) -- cgit v1.2.3