diff options
| author | Vagrant Cascadian <vagrant@debian.org> | 2018-05-18 15:18:29 -0700 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2018-05-21 00:12:02 +0200 |
| commit | 5a9dc4a8074cde2fec3ecc7ea71f2e976c8c38c0 (patch) | |
| tree | ccc432c196f984b879a9732f36963ae83e9fd96f /guix/profiles.scm | |
| parent | a8e3fd5f9d1abd903edc9a413325194ed44557bd (diff) | |
| download | guix-patches-5a9dc4a8074cde2fec3ecc7ea71f2e976c8c38c0.tar guix-patches-5a9dc4a8074cde2fec3ecc7ea71f2e976c8c38c0.tar.gz | |
gnu: linux-libre: Enable build for aarch64-linux.
* gnu/packages/linux.scm (%linux-compatible-systems): Add aarch64-linux.
(linux-libre-4.14): Limit to x86_64-linux, i686-linux and armhf-linux.
* gnu/packages/aux-files/linux-libre/4.16-arm64.conf: New file.
* Makefile.am (AUX_FILES): Add 4.16-arm64.conf.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
Diffstat (limited to 'guix/profiles.scm')
0 files changed, 0 insertions, 0 deletions