From ed08355a69c79903c4864dd98918ab9357224a4d Mon Sep 17 00:00:00 2001
From: Bruce Ashfield <bruce.ashfield@windriver.com>
Date: Mon, 11 Jul 2016 13:40:13 -0400
Subject: [PATCH] common-pc: enforce 32 bit

ARCH=x86 defaults to 64 bit on modern kernels. So we need to
explicitly disable 64bit in common-pc if we want a 32bit build
(common-pc builds with ARCH=x86, not ARCH=i386)

Signed-off-by: Bruce Ashfield <bruce.ashfield@windriver.com>
---
 bsp/common-pc/common-pc-cpu.cfg | 1 +
 1 file changed, 1 insertion(+)

diff --git a/bsp/common-pc/common-pc-cpu.cfg b/bsp/common-pc/common-pc-cpu.cfg
index d6302a63d..70df605fe 100644
--- a/bsp/common-pc/common-pc-cpu.cfg
+++ b/bsp/common-pc/common-pc-cpu.cfg
@@ -15,3 +15,4 @@ CONFIG_X86_GENERIC=y
 CONFIG_X86_TSC=y
 CONFIG_X86_MCE=y
 CONFIG_PM=y
+# CONFIG_64BIT is not set
-- 
GitLab