Gentoo Archives: gentoo-dev

From: Mike Gilbert <floppym@g.o>
To: gentoo-dev@l.g.o
Cc: Mike Gilbert <floppym@g.o>
Subject: [gentoo-dev] [PATCH] profiles/arch/amd64/x32: set KERNEL_ABI="amd64"
Date: Mon, 06 Sep 2021 23:19:49
Message-Id: 20210906231915.3355964-1-floppym@gentoo.org
1 Closes: https://bugs.gentoo.org/427052
2 Signed-off-by: Mike Gilbert <floppym@g.o>
3 ---
4 profiles/arch/amd64/x32/make.defaults | 6 +++++-
5 1 file changed, 5 insertions(+), 1 deletion(-)
6
7 diff --git a/profiles/arch/amd64/x32/make.defaults b/profiles/arch/amd64/x32/make.defaults
8 index b509b305b00..0c9b008c9fd 100644
9 --- a/profiles/arch/amd64/x32/make.defaults
10 +++ b/profiles/arch/amd64/x32/make.defaults
11 @@ -1,10 +1,14 @@
12 -# Copyright 1999-2017 Gentoo Foundation
13 +# Copyright 1999-2021 Gentoo Authors
14 # Distributed under the terms of the GNU General Public License v2
15
16 DEFAULT_ABI="x32"
17 ABI="x32"
18 MULTILIB_ABIS="amd64 x86 x32"
19
20 +# Mike Gilbert <floppym@g.o> (2021-09-06)
21 +# x32 userspace runs on amd64 kernels.
22 +KERNEL_ABI="amd64"
23 +
24 # Michał Górny <mgorny@g.o> (2014-07-01)
25 # Default to abi_x86_x32 for packages that don't have it forced.
26 ABI_X86="x32"
27 --
28 2.33.0