From cdeeeada084932edea1d18610e47ab72b0b11efc Mon Sep 17 00:00:00 2001
From: Alex Griffin
Date: Wed, 29 May 2019 10:44:55 -0500
Subject: [PATCH] nongnu: Add install image definition with nonfree firmware
included.
* nongnu/system/install.scm: New file.
---
nongnu/system/install.scm | 32 ++++++++++++++++++++++++++++++++
1 file changed, 32 insertions(+)
create mode 100644 nongnu/system/install.scm
diff --git a/nongnu/system/install.scm b/nongnu/system/install.scm
new file mode 100644
index 0000000..275bcaa
--- /dev/null
+++ b/nongnu/system/install.scm
@@ -0,0 +1,32 @@
+;;; Copyright © 2019 Alex Griffin
+;;; Copyright © 2019 Pierre Neidhardt
+;;;
+;;; This program 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 program 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 program. If not, see .
+
+;; Generate a bootable image (e.g. for USB sticks, etc.) with:
+;; $ guix system disk-image nongnu/system/install.scm
+
+(define-module (nongnu system install)
+ #:use-module (gnu system)
+ #:use-module (gnu system install)
+ #:use-module (nongnu packages linux)
+ #:export (installation-os-nonfree))
+
+(define installation-os-nonfree
+ (operating-system
+ (inherit installation-os)
+ (kernel linux)
+ (firmware (list linux-firmware))))
+
+installation-os-nonfree