diff options
| author | Efraim Flashner <efraim@flashner.co.il> | 2017-07-21 18:07:19 +0300 |
|---|---|---|
| committer | Efraim Flashner <efraim@flashner.co.il> | 2017-07-23 23:33:18 +0300 |
| commit | fd900d68a519938e4a5064fcede5da81728d32b1 (patch) | |
| tree | 04e50976b164d4e5f2968ce1debdf648838c48f9 /gnu/system.scm | |
| parent | 826adfdb37656a5191a617c9eb6c8e8f80de0df8 (diff) | |
| download | patches-fd900d68a519938e4a5064fcede5da81728d32b1.tar patches-fd900d68a519938e4a5064fcede5da81728d32b1.tar.gz | |
gnu: Add support for aarch64's compiled kernel.
* gnu/packages/linux.scm (linux-libre)[arguments]: Add to the regex to
find and install the aarch64-linux kernel.
* gnu/system.scm (system-linux-image-file-name): Add entry for aarch64.
Diffstat (limited to 'gnu/system.scm')
| -rw-r--r-- | gnu/system.scm | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/gnu/system.scm b/gnu/system.scm index 998bd68396..746c511187 100644 --- a/gnu/system.scm +++ b/gnu/system.scm @@ -392,6 +392,7 @@ from the initrd." (cond ((string-prefix? "arm" (%current-system)) "zImage") ((string-prefix? "mips" (%current-system)) "vmlinuz") + ((string-prefix? "aarch64" (%current-system)) "Image") (else "bzImage"))) (define (operating-system-kernel-file os) |