kconfig: define CONFIG_PLATFORM only once

define CONFIG_PLATFORM only once in arch/Kconfig and set it
for every platform.

Change-Id: I8554bb36d2d15c3ee71fa63dfc3a763ebca956ee
Signed-off-by: Anas Nashif <anas.nashif@intel.com>
This commit is contained in:
Anas Nashif 2015-11-29 19:47:21 -05:00
parent fa2441534a
commit 66233116ff
11 changed files with 6 additions and 40 deletions

View file

@ -43,4 +43,10 @@ config SOC
help
SOC being used.
config PLATFORM
string
help
This option holds the directory name used by the build system to locate
the correct linker file.
source "arch/*/Kconfig"

View file

@ -16,11 +16,7 @@
if PLATFORM_GENERIC_ARC
config PLATFORM
string
default generic_arc
help
This option holds the directory name used by the build system
to locate the correct linker file.
config NUM_IRQ_PRIO_LEVELS
# This processor supports only 2 priority levels:

View file

@ -17,11 +17,7 @@
if PLATFORM_QUARK_SE_SS
config PLATFORM
string
default quark_se_ss
help
This option holds the directory name used by the build system to locate
the correct linker file.
config NUM_IRQ_PRIO_LEVELS
# This processor supports only 2 priority levels:

View file

@ -18,11 +18,7 @@
if PLATFORM_FSL_FRDM_K64F
config PLATFORM
string
default fsl_frdm_k64f
help
This option holds the directory name used by the build system to locate
the correct linker file.
config NUM_IRQ_PRIO_BITS
int

View file

@ -18,11 +18,7 @@
if PLATFORM_QEMU_ARM
config PLATFORM
string
default qemu_arm
help
This option holds the directory name used by the build system to locate
the correct linker file.
config NUM_IRQ_PRIO_BITS
int

View file

@ -18,11 +18,7 @@
if PLATFORM_GALILEO
config PLATFORM
string
default galileo
help
This option holds the directory name used by the build system to locate
the correct linker file.
config PHYS_LOAD_ADDR
default 0x00100000

View file

@ -19,11 +19,7 @@
if PLATFORM_IA32
config PLATFORM
string
default ia32
help
This option holds the directory name used by the build system to locate
the correct linker file.
config PHYS_LOAD_ADDR
default 0x00100000

View file

@ -19,11 +19,7 @@
if PLATFORM_IA32_PCI
config PLATFORM
string
default ia32_pci
help
This option holds the directory name used by the build system to locate
the correct linker file.
config PHYS_LOAD_ADDR
default 0x00100000

View file

@ -17,11 +17,7 @@
if PLATFORM_QEMU_X86
config PLATFORM
string
default qemu_x86
help
This option holds the directory name used by the build system to locate
the correct linker file.
config PHYS_LOAD_ADDR
default 0x00100000

View file

@ -16,11 +16,7 @@
if PLATFORM_QUARK_D2000
config PLATFORM
string
default quark_d2000
help
This option holds the directory name used by the build system to locate
the correct linker file.
config SYS_CLOCK_HW_CYCLES_PER_SEC
default 32000000

View file

@ -18,11 +18,7 @@
if PLATFORM_QUARK_SE
config PLATFORM
string
default quark_se
help
This option holds the directory name used by the build system to locate
the correct linker file.
config PHYS_RAM_ADDR
default 0xA8006400