Use SoC instead of platform.

Change terminology and use SoC instead of platform. An SoC provides
features and default configurations available with an SoC. A board
implements the SoC and adds more features and IP block specific to the
board to extend the SoC functionality such as sensors and debugging
features.

Change-Id: I15e8d78a6d4ecd5cfb3bc25ced9ba77e5ea1122f
Signed-off-by: Anas Nashif <anas.nashif@intel.com>

arch/arm/soc/fsl_frdm_k64f/Kconfig

@@ -0,0 +1,156 @@
+# Kconfig - FSL FRDM K64F platform configuration options
+
+#
+# Copyright (c) 2014-2015 Wind River Systems, Inc.
+#
+# Licensed under the Apache License, Version 2.0 (the "License");
+# you may not use this file except in compliance with the License.
+# You may obtain a copy of the License at
+#
+#     http://www.apache.org/licenses/LICENSE-2.0
+#
+# Unless required by applicable law or agreed to in writing, software
+# distributed under the License is distributed on an "AS IS" BASIS,
+# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+# See the License for the specific language governing permissions and
+# limitations under the License.
+#
+
+if SOC_FSL_FRDM_K64F
+config SOC
+	default fsl_frdm_k64f
+
+config NUM_IRQ_PRIO_BITS
+	int
+	default 4
+
+config NUM_IRQS
+	int
+	# must be >= the highest interrupt number used
+	default 86
+
+config SYS_CLOCK_HW_CYCLES_PER_SEC
+	int
+	default 25000000
+
+config WDOG_INIT
+	def_bool y
+	# omit prompt to signify a "hidden" option
+	help
+	This processor enables the watchdog timer with a short timeout
+	upon reset. Therefore, this requires that the watchdog be configured
+	during reset handling.
+
+config KERNEL_INIT_PRIORITY_DEFAULT
+	default 40
+
+config KERNEL_INIT_PRIORITY_DEVICE
+	default 50
+
+config UART_CONSOLE_PRIORITY
+	default 60
+
+if UART_K20
+
+config UART_K20_PORT_0
+	def_bool y
+
+if UART_K20_PORT_0
+config UART_K20_PORT_0_BASE_ADDR
+	default 0x4006A000
+config UART_K20_PORT_0_IRQ
+	default 31
+config UART_K20_PORT_0_IRQ_PRI
+	default 3
+config UART_K20_PORT_0_BAUD_RATE
+	default 115200
+config UART_K20_PORT_0_CLK_FREQ
+	default 120000000
+endif
+
+config UART_K20_PORT_1
+	def_bool y
+
+if UART_K20_PORT_1
+config UART_K20_PORT_1_BASE_ADDR
+	default 0x4006B000
+config UART_K20_PORT_1_IRQ
+	default 33
+config UART_K20_PORT_1_IRQ_PRI
+	default 3
+config UART_K20_PORT_1_BAUD_RATE
+	default 115200
+config UART_K20_PORT_1_CLK_FREQ
+	default 120000000
+endif
+
+config UART_K20_PORT_2
+	def_bool y
+if UART_K20_PORT_2
+config UART_K20_PORT_2_BASE_ADDR
+	default 0x4006C000
+config UART_K20_PORT_2_IRQ
+	default 35
+config UART_K20_PORT_2_IRQ_PRI
+	default 3
+config UART_K20_PORT_2_BAUD_RATE
+	default 115200
+config UART_K20_PORT_2_CLK_FREQ
+	default 120000000
+endif
+
+config UART_K20_PORT_3
+	def_bool y
+if UART_K20_PORT_3
+config UART_K20_PORT_3_BASE_ADDR
+	default 0x4006D000
+config UART_K20_PORT_3_IRQ
+	default 37
+config UART_K20_PORT_3_IRQ_PRI
+	default 3
+config UART_K20_PORT_3_BAUD_RATE
+	default 115200
+config UART_K20_PORT_3_CLK_FREQ
+	default 120000000
+endif
+
+config UART_K20_PORT_4
+	def_bool y
+if UART_K20_PORT_4
+config UART_K20_PORT_4_BASE_ADDR
+	default 0x400EA000
+config UART_K20_PORT_4_IRQ
+	default 66
+config UART_K20_PORT_4_IRQ_PRI
+	default 3
+config UART_K20_PORT_4_BAUD_RATE
+	default 115200
+config UART_K20_PORT_4_CLK_FREQ
+	default 120000000
+endif
+
+endif # UART_K20
+
+if UART_CONSOLE
+
+config UART_CONSOLE_ON_DEV_NAME
+	default "UART_0"
+config UART_CONSOLE_IRQ
+	default 31
+config UART_CONSOLE_IRQ_PRI
+	default 3
+
+endif
+
+if BLUETOOTH_UART
+
+config BLUETOOTH_UART_ON_DEV_NAME
+	default "UART_1"
+config BLUETOOTH_UART_IRQ
+	default 33
+config BLUETOOTH_UART_IRQ_PRI
+	default 3
+
+endif
+
+endif