frosted: add support for stm32f407 discovery board

target/arm/systems/st-stm32f407-discovery

@@ -0,0 +1,22 @@
+config ADK_TARGET_SYSTEM_ST_STM32F407_DISCOVERY
+	bool "STMicroelectronics STM32F407 Discovery"
+	depends on ADK_TARGET_OS_FROSTED
+	depends on ADK_TARGET_LITTLE_ENDIAN
+	select ADK_TARGET_CPU_ARM_CORTEX_M4
+	select ADK_TARGET_ARCH_ARM_WITH_THUMB
+	select ADK_TARGET_WITH_SERIAL
+	select ADK_HOST_BUILD_OPENOCD
+	select FROSTED_ARCH_STM32F4
+	select FROSTED_ARCH_STM32F407_XG
+	select FROSTED_FLASH_SIZE_1MB
+	select FROSTED_RAM_SIZE_192KB
+	select FROSTED_ARCH_STM32F407
+	select FROSTED_MACH_STM32F407Discovery
+	select FROSTED_USART_2
+	select FROSTED_KFLASHMEM_SIZE 192
+	select FROSTED_KRAMMEM_SIZE 128
+	select FROSTED_TASK_STACK_SIZE_4K
+	select FROSTED_CLK_168MHZ
+	help
+	  STMicroelectronics STM32F407 Discovery
+

target/config/Config.in.float

@@ -11,7 +11,9 @@ depends on ADK_TARGET_ARCH_ARM || \
 
 config ADK_TARGET_HARD_FLOAT
 	bool "hard-float"
-	depends on ADK_TARGET_CPU_WITH_FPU && !ADK_TARGET_CPU_WITH_FPU_FPV5
+	depends on ADK_TARGET_CPU_WITH_FPU \
+		&& !ADK_TARGET_CPU_WITH_FPU_FPV5 \
+		&& !ADK_TARGET_OS_FROSTED
 
 config ADK_TARGET_HARD_FLOAT_SP
 	bool "hard-float-single-precision"
@@ -26,7 +28,7 @@ config ADK_TARGET_SOFT_FLOAT
 
 config ADK_TARGET_SOFTFP_FLOAT
 	bool "softfp"
-	depends on ADK_TARGET_ARCH_ARM
+	depends on ADK_TARGET_ARCH_ARM && !ADK_TARGET_OS_FROSTED
 
 endchoice
 

target/frosted/Config.in

@@ -1,24 +1,3 @@
-menu "Compiler options"
-    config FROSTED_GDB_CFLAG
-    bool "Keep debugging symbols"
-    default y
-
-    choice
-    prompt "Compiler optimization"
-        config FROSTED_OPTIMIZE_NONE
-        bool "No optimization"
-
-        config FROSTED_OPTIMIZE_SIZE
-        bool "Optimize for size"
-
-        config FROSTED_OPTIMIZE_PERF
-        bool "Optimize for performance"
-    endchoice
-
-
-endmenu
-
-
 menu "Platform Selection"
 
     choice FROSTED_ARCH
@@ -790,17 +769,17 @@ menu "Device Drivers"
        menuconfig FROSTED_DEVFRAMEBUFFER
            depends on (FROSTED_ARCH_STM32F7 || FROSTED_ARCH_STM32F4)
            bool "STM32 Framebuffer driver"
-           default y
+           default n
 
        config FROSTED_DEVFBCON
            depends on FROSTED_DEVFRAMEBUFFER
            bool "Console on Framebuffer via /dev/fbcon"
-           default y
+           default n
 
        config FROSTED_DEVF7DISCOLTDC
            depends on FROSTED_DEVFRAMEBUFFER
            bool "F746 Discovery LTDC"
-           default y
+           default n
 
 endmenu