diff options
Diffstat (limited to 'gnu/packages/linux.scm')
| -rw-r--r-- | gnu/packages/linux.scm | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/gnu/packages/linux.scm b/gnu/packages/linux.scm index 707253a946e..c9fe2c6a744 100644 --- a/gnu/packages/linux.scm +++ b/gnu/packages/linux.scm | |||
| @@ -1231,6 +1231,25 @@ Linux kernel. It has been modified to remove all non-free binary blobs.") | |||
| 1231 | ;;; Specialized kernel variants. | 1231 | ;;; Specialized kernel variants. |
| 1232 | ;;; | 1232 | ;;; |
| 1233 | 1233 | ||
| 1234 | (define-public %dummy-linux-kernel-for-container | ||
| 1235 | (hidden-package | ||
| 1236 | (package | ||
| 1237 | (name "linux-dummy") | ||
| 1238 | (version "0.0.0") | ||
| 1239 | (source #f) | ||
| 1240 | (build-system copy-build-system) | ||
| 1241 | (arguments | ||
| 1242 | (list #:phases | ||
| 1243 | #~(modify-phases %standard-phases | ||
| 1244 | (delete 'unpack) | ||
| 1245 | (replace 'install | ||
| 1246 | (lambda _ | ||
| 1247 | (mkdir-p #$output)))))) | ||
| 1248 | (home-page "") | ||
| 1249 | (synopsis "Dummy Linux kernel for @command{guix system container}") | ||
| 1250 | (description "") | ||
| 1251 | (license #f)))) | ||
| 1252 | |||
| 1234 | (define-public linux-libre-arm-generic | 1253 | (define-public linux-libre-arm-generic |
| 1235 | (make-linux-libre* linux-libre-version | 1254 | (make-linux-libre* linux-libre-version |
| 1236 | linux-libre-gnu-revision | 1255 | linux-libre-gnu-revision |
