From c8ea916f62cb1ac23b55ef283249528b01c2fb2a Mon Sep 17 00:00:00 2001
From: Matthew Fernandez <matthew.fernandez@nicta.com.au>
Date: Tue, 23 Dec 2014 10:06:22 +1100
Subject: [PATCH] Kconfig: Remove x86_64 platform options.
This branch does not have support for this platform.
---
Kconfig | 7 ++-----
1 file changed, 2 insertions(+), 5 deletions(-)
diff --git a/Kconfig b/Kconfig
index 959dd986a..e24b71e8d 100644
--- a/Kconfig
+++ b/Kconfig
@@ -31,16 +31,13 @@ menu "seL4 System"
config ARCH_I386
bool "x86"
- config ARCH_X86_64
- bool "x86_64"
-
config ARCH_ARM
bool "ARM"
endchoice
config ARCH_IA32
bool
- default y if ARCH_I386 || ARCH_X86_64
+ default y if ARCH_I386
choice
prompt "ARM CPU selection"
@@ -163,7 +160,7 @@ config ARCH_IA32
config PLAT_PC99
bool "PC99"
- depends on ARCH_I386 || ARCH_X86_64
+ depends on ARCH_I386
help
Support for PC99 based platform
endchoice
--
GitLab