frosted: add ADK prefix, separate kernel/userland in the menu

7 files changed, 510 insertions, 502 deletions

diff --git a/Config.in b/Config.in
index e30077a69..e30454432 100644
--- a/Config.in
+++ b/Config.in
@@ -65,11 +65,16 @@ source "target/linux/Config.in"
 endmenu
 endmenu
 
-menu "Frosted configuration"
+menu "Frosted kernel configuration"
 	visible if ADK_TARGET_OS_FROSTED && !ADK_TARGET_CHOOSE_ARCH
 source "target/frosted/Config.in"
 endmenu
 
+menu "Frosted application configuration"
+	visible if ADK_TARGET_OS_FROSTED && !ADK_TARGET_CHOOSE_ARCH
+source "target/frosted/Config.in.apps"
+endmenu
+
 menu "Toolchain settings"
 	visible if !ADK_TARGET_CHOOSE_ARCH
 
diff --git a/target/Makefile b/target/Makefile
index 47626deaa..a67fb62b7 100644
--- a/target/Makefile
+++ b/target/Makefile
@@ -134,8 +134,10 @@ endif
 
 ifeq ($(ADK_TARGET_OS_FROSTED),y)
 config-prepare: $(ADK_TOPDIR)/.config
-	@PATH='$(HOST_PATH)' sed -n '/^FROSTED_/s///p' $(ADK_TOPDIR)/.config \
+	@PATH='$(HOST_PATH)' sed -n '/^ADK_FROSTED_/s///p' $(ADK_TOPDIR)/.config \
 	    >$(BUILD_DIR)/.frosted
+	@PATH='$(HOST_PATH)' sed -n '/^ADK_PACKAGE_FROSTED_/s///p' $(ADK_TOPDIR)/.config \
+	    >$(BUILD_DIR)/.frostedapps
 endif
 
 ifeq ($(ADK_TARGET_OS_FROSTED),y)
diff --git a/target/arm/systems/qemu-arm-lm3s6965evb b/target/arm/systems/qemu-arm-lm3s6965evb
index 7d32e5cb8..801793ffa 100644
--- a/target/arm/systems/qemu-arm-lm3s6965evb
+++ b/target/arm/systems/qemu-arm-lm3s6965evb
@@ -5,12 +5,12 @@ config ADK_TARGET_SYSTEM_QEMU_ARM_LM3S6965EVB
 	select ADK_TARGET_CPU_ARM_CORTEX_M3
 	select ADK_TARGET_ARCH_ARM_WITH_THUMB
 	select ADK_TARGET_QEMU
-	select FROSTED_ARCH_LM3SVIRT
-	select FROSTED_KFLASHMEM_SIZE 128
-	select FROSTED_KRAMMEM_SIZE 128
-	select FROSTED_TASK_STACK_SIZE_4K
-	select FROSTED_USART_0
-	select FROSTED_MEMFS
+	select ADK_FROSTED_ARCH_LM3SVIRT
+	select ADK_FROSTED_KFLASHMEM_SIZE 128
+	select ADK_FROSTED_KRAMMEM_SIZE 128
+	select ADK_FROSTED_TASK_STACK_SIZE_4K
+	select ADK_FROSTED_USART_0
+	select ADK_FROSTED_MEMFS
 	help
 	  Qemu Emulator for ARM architecture (lm3s6965evb) without MMU.
 
diff --git a/target/arm/systems/st-stm32f407-discovery b/target/arm/systems/st-stm32f407-discovery
index 752fe3b8f..ceff115f5 100644
--- a/target/arm/systems/st-stm32f407-discovery
+++ b/target/arm/systems/st-stm32f407-discovery
@@ -6,17 +6,17 @@ config ADK_TARGET_SYSTEM_ST_STM32F407_DISCOVERY
 	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
+	select ADK_FROSTED_ARCH_STM32F4
+	select ADK_FROSTED_ARCH_STM32F407_XG
+	select ADK_FROSTED_FLASH_SIZE_1MB
+	select ADK_FROSTED_RAM_SIZE_192KB
+	select ADK_FROSTED_ARCH_STM32F407
+	select ADK_FROSTED_MACH_STM32F407Discovery
+	select ADK_FROSTED_USART_2
+	select ADK_FROSTED_KFLASHMEM_SIZE 192
+	select ADK_FROSTED_KRAMMEM_SIZE 128
+	select ADK_FROSTED_TASK_STACK_SIZE_4K
+	select ADK_FROSTED_CLK_168MHZ
 	help
 	  STMicroelectronics STM32F407 Discovery
 
diff --git a/target/frosted/Config.in b/target/frosted/Config.in
index 1985687c7..bb5eedec7 100644
--- a/target/frosted/Config.in
+++ b/target/frosted/Config.in
@@ -1,326 +1,326 @@
 menu "Platform Selection"
 
-    choice FROSTED_ARCH
+    choice ADK_FROSTED_ARCH
         prompt "Architecture"
-        default FROSTED_ARCH_LM3S
+        default ADK_FROSTED_ARCH_LM3S
 
-        config FROSTED_ARCH_LM3S
+        config ADK_FROSTED_ARCH_LM3S
         bool "LM3S"
         help
             Enable support for Stellaris LM3S systems
 
-        config FROSTED_ARCH_LPC17XX
+        config ADK_FROSTED_ARCH_LPC17XX
         bool "LPC17XX"
         help
             Enable support for NXP LPC17xx systems
 
-        config FROSTED_ARCH_STM32F4
+        config ADK_FROSTED_ARCH_STM32F4
         bool "STM32F4"
         help
             Enable support for ST STM32F4 systems
 
-        config FROSTED_ARCH_STM32F7
+        config ADK_FROSTED_ARCH_STM32F7
         bool "STM32F7"
         help
             Enable support for ST STM32F7 systems
     endchoice
 
-if FROSTED_ARCH_STM32F7
+if ADK_FROSTED_ARCH_STM32F7
 
 choice 
     prompt "MCU"
-    default FROSTED_ARCH_STM32F746_NG
+    default ADK_FROSTED_ARCH_STM32F746_NG
 
-config FROSTED_ARCH_STM32F746_NG
+config ADK_FROSTED_ARCH_STM32F746_NG
     bool "STM32F746NG 1MB"
-    select FROSTED_FLASH_SIZE_1MB
-    select FROSTED_RAM_SIZE_320KB
-    select FROSTED_ARCH_STM32F746
+    select ADK_FROSTED_FLASH_SIZE_1MB
+    select ADK_FROSTED_RAM_SIZE_320KB
+    select ADK_FROSTED_ARCH_STM32F746
 
-config FROSTED_ARCH_STM32F769_NI
+config ADK_FROSTED_ARCH_STM32F769_NI
     bool "STM32F769NI 2MB"
-    select FROSTED_FLASH_SIZE_2MB
-    select FROSTED_RAM_SIZE_368KB
-    select FROSTED_ARCH_STM32F769
+    select ADK_FROSTED_FLASH_SIZE_2MB
+    select ADK_FROSTED_RAM_SIZE_368KB
+    select ADK_FROSTED_ARCH_STM32F769
 
 endchoice
 
 endif
 
-if FROSTED_ARCH_STM32F4
+if ADK_FROSTED_ARCH_STM32F4
 
 choice 
     prompt "MCU"
-    default FROSTED_ARCH_STM32F407_XG
+    default ADK_FROSTED_ARCH_STM32F407_XG
 
-config FROSTED_ARCH_STM32F401_XB
+config ADK_FROSTED_ARCH_STM32F401_XB
     bool "STM32F401xB 128KB"
-    select FROSTED_FLASH_SIZE_128KB
-    select FROSTED_RAM_SIZE_64KB
-    select FROSTED_ARCH_STM32F401
-config FROSTED_ARCH_STM32F401_XC
+    select ADK_FROSTED_FLASH_SIZE_128KB
+    select ADK_FROSTED_RAM_SIZE_64KB
+    select ADK_FROSTED_ARCH_STM32F401
+config ADK_FROSTED_ARCH_STM32F401_XC
     bool "STM32F401xC 256KB"
-    select FROSTED_FLASH_SIZE_256KB
-    select FROSTED_RAM_SIZE_64KB
-    select FROSTED_ARCH_STM32F401
-config FROSTED_ARCH_STM32F401_XD
+    select ADK_FROSTED_FLASH_SIZE_256KB
+    select ADK_FROSTED_RAM_SIZE_64KB
+    select ADK_FROSTED_ARCH_STM32F401
+config ADK_FROSTED_ARCH_STM32F401_XD
     bool "STM32F401xD 384KB"
-    select FROSTED_FLASH_SIZE_384KB
-    select FROSTED_RAM_SIZE_96KB
-    select FROSTED_ARCH_STM32F401
-config FROSTED_ARCH_STM32F401_XE
+    select ADK_FROSTED_FLASH_SIZE_384KB
+    select ADK_FROSTED_RAM_SIZE_96KB
+    select ADK_FROSTED_ARCH_STM32F401
+config ADK_FROSTED_ARCH_STM32F401_XE
     bool "STM32F401xE 512KB"
-    select FROSTED_FLASH_SIZE_512KB
-    select FROSTED_RAM_SIZE_96KB
-    select FROSTED_ARCH_STM32F401
+    select ADK_FROSTED_FLASH_SIZE_512KB
+    select ADK_FROSTED_RAM_SIZE_96KB
+    select ADK_FROSTED_ARCH_STM32F401
 
-config FROSTED_ARCH_STM32F405_XG
+config ADK_FROSTED_ARCH_STM32F405_XG
     bool "STM32F405xG 1MB"
-    select FROSTED_FLASH_SIZE_1MB
-    select FROSTED_RAM_SIZE_192KB
-    select FROSTED_ARCH_STM32F405
-config FROSTED_ARCH_STM32F405_XE
+    select ADK_FROSTED_FLASH_SIZE_1MB
+    select ADK_FROSTED_RAM_SIZE_192KB
+    select ADK_FROSTED_ARCH_STM32F405
+config ADK_FROSTED_ARCH_STM32F405_XE
     bool "STM32F407xE 512KB"
-    select FROSTED_FLASH_SIZE_512KB
-    select FROSTED_RAM_SIZE_192KB
-    select FROSTED_ARCH_STM32F405
+    select ADK_FROSTED_FLASH_SIZE_512KB
+    select ADK_FROSTED_RAM_SIZE_192KB
+    select ADK_FROSTED_ARCH_STM32F405
 
-config FROSTED_ARCH_STM32F407_XG
+config ADK_FROSTED_ARCH_STM32F407_XG
     bool "STM32F407xG 1MB"
-    select FROSTED_FLASH_SIZE_1MB
-    select FROSTED_RAM_SIZE_192KB
-    select FROSTED_ARCH_STM32F407
-config FROSTED_ARCH_STM32F407_XE
+    select ADK_FROSTED_FLASH_SIZE_1MB
+    select ADK_FROSTED_RAM_SIZE_192KB
+    select ADK_FROSTED_ARCH_STM32F407
+config ADK_FROSTED_ARCH_STM32F407_XE
     bool "STM32F407xE 512KB"
-    select FROSTED_FLASH_SIZE_512KB
-    select FROSTED_RAM_SIZE_192KB
-    select FROSTED_ARCH_STM32F407
+    select ADK_FROSTED_FLASH_SIZE_512KB
+    select ADK_FROSTED_RAM_SIZE_192KB
+    select ADK_FROSTED_ARCH_STM32F407
     
-config FROSTED_ARCH_STM32F411_XE
+config ADK_FROSTED_ARCH_STM32F411_XE
     bool "STM32F411xE 512KB"
-    select FROSTED_FLASH_SIZE_512KB
-    select FROSTED_RAM_SIZE_128KB
-    select FROSTED_ARCH_STM32F411
-config FROSTED_ARCH_STM32F411_XC
+    select ADK_FROSTED_FLASH_SIZE_512KB
+    select ADK_FROSTED_RAM_SIZE_128KB
+    select ADK_FROSTED_ARCH_STM32F411
+config ADK_FROSTED_ARCH_STM32F411_XC
     bool "STM32F411xC 256KB"
-    select FROSTED_FLASH_SIZE_256KB
-    select FROSTED_RAM_SIZE_128KB
-    select FROSTED_ARCH_STM32F411
+    select ADK_FROSTED_FLASH_SIZE_256KB
+    select ADK_FROSTED_RAM_SIZE_128KB
+    select ADK_FROSTED_ARCH_STM32F411
 
-config FROSTED_ARCH_STM32F429_XE
+config ADK_FROSTED_ARCH_STM32F429_XE
     bool "STM32F429xE 512KB"
-    select FROSTED_FLASH_SIZE_512KB
-    select FROSTED_RAM_SIZE_256KB
-    select FROSTED_ARCH_STM32F429
-config FROSTED_ARCH_STM32F429_XG
+    select ADK_FROSTED_FLASH_SIZE_512KB
+    select ADK_FROSTED_RAM_SIZE_256KB
+    select ADK_FROSTED_ARCH_STM32F429
+config ADK_FROSTED_ARCH_STM32F429_XG
     bool "STM32F429xG 1MB"
-    select FROSTED_FLASH_SIZE_1MB
-    select FROSTED_RAM_SIZE_256KB
-    select FROSTED_ARCH_STM32F429
-config FROSTED_ARCH_STM32F429_XI
+    select ADK_FROSTED_FLASH_SIZE_1MB
+    select ADK_FROSTED_RAM_SIZE_256KB
+    select ADK_FROSTED_ARCH_STM32F429
+config ADK_FROSTED_ARCH_STM32F429_XI
     bool "STM32F429xI 2MB"
-    select FROSTED_FLASH_SIZE_2MB
-    select FROSTED_RAM_SIZE_256KB
-    select FROSTED_ARCH_STM32F429
-config FROSTED_ARCH_STM32F446_ZE
+    select ADK_FROSTED_FLASH_SIZE_2MB
+    select ADK_FROSTED_RAM_SIZE_256KB
+    select ADK_FROSTED_ARCH_STM32F429
+config ADK_FROSTED_ARCH_STM32F446_ZE
     bool "STM32F446ZE 512KB"
-    select FROSTED_FLASH_SIZE_512KB
-    select FROSTED_RAM_SIZE_128KB
-    select FROSTED_ARCH_STM32F446
+    select ADK_FROSTED_FLASH_SIZE_512KB
+    select ADK_FROSTED_RAM_SIZE_128KB
+    select ADK_FROSTED_ARCH_STM32F446
 endchoice
 
 endif
 
-if FROSTED_ARCH_LPC17XX
+if ADK_FROSTED_ARCH_LPC17XX
 
 choice 
     prompt "MCU"
-    default FROSTED_ARCH_LPC1768
-config FROSTED_ARCH_LPC1763
+    default ADK_FROSTED_ARCH_LPC1768
+config ADK_FROSTED_ARCH_LPC1763
     bool "LPC1763"
-    select FROSTED_FLASH_SIZE_256KB
-    select FROSTED_RAM_SIZE_32KB
-    select FROSTED_CLK_100MHZ
-config FROSTED_ARCH_LPC1764
+    select ADK_FROSTED_FLASH_SIZE_256KB
+    select ADK_FROSTED_RAM_SIZE_32KB
+    select ADK_FROSTED_CLK_100MHZ
+config ADK_FROSTED_ARCH_LPC1764
     bool "LPC1764"
-    select FROSTED_FLASH_SIZE_128KB
-    select FROSTED_RAM_SIZE_16KB
-    select FROSTED_CLK_100MHZ
-config FROSTED_ARCH_LPC1765
+    select ADK_FROSTED_FLASH_SIZE_128KB
+    select ADK_FROSTED_RAM_SIZE_16KB
+    select ADK_FROSTED_CLK_100MHZ
+config ADK_FROSTED_ARCH_LPC1765
     bool "LPC1765"
-    select FROSTED_FLASH_SIZE_256KB
-    select FROSTED_RAM_SIZE_32KB
-    select FROSTED_CLK_100MHZ
-config FROSTED_ARCH_LPC1766
+    select ADK_FROSTED_FLASH_SIZE_256KB
+    select ADK_FROSTED_RAM_SIZE_32KB
+    select ADK_FROSTED_CLK_100MHZ
+config ADK_FROSTED_ARCH_LPC1766
     bool "LPC1766"
-    select FROSTED_FLASH_SIZE_256KB
-    select FROSTED_RAM_SIZE_32KB
-    select FROSTED_CLK_100MHZ
-config FROSTED_ARCH_LPC1767
+    select ADK_FROSTED_FLASH_SIZE_256KB
+    select ADK_FROSTED_RAM_SIZE_32KB
+    select ADK_FROSTED_CLK_100MHZ
+config ADK_FROSTED_ARCH_LPC1767
     bool "LPC1767"
-    select FROSTED_FLASH_SIZE_512KB
-    select FROSTED_RAM_SIZE_32KB
-    select FROSTED_CLK_100MHZ
-config FROSTED_ARCH_LPC1768
+    select ADK_FROSTED_FLASH_SIZE_512KB
+    select ADK_FROSTED_RAM_SIZE_32KB
+    select ADK_FROSTED_CLK_100MHZ
+config ADK_FROSTED_ARCH_LPC1768
     bool "LPC1768"
-    select FROSTED_FLASH_SIZE_512KB
-    select FROSTED_RAM_SIZE_32KB
-    select FROSTED_CLK_100MHZ
-config FROSTED_ARCH_LPC1769
+    select ADK_FROSTED_FLASH_SIZE_512KB
+    select ADK_FROSTED_RAM_SIZE_32KB
+    select ADK_FROSTED_CLK_100MHZ
+config ADK_FROSTED_ARCH_LPC1769
     bool "LPC1769"
-    select FROSTED_FLASH_SIZE_512KB
-    select FROSTED_RAM_SIZE_32KB
+    select ADK_FROSTED_FLASH_SIZE_512KB
+    select ADK_FROSTED_RAM_SIZE_32KB
 endchoice
 
 endif
 
-if FROSTED_ARCH_LM3S
+if ADK_FROSTED_ARCH_LM3S
 
 choice 
     prompt "MCU"
-    default FROSTED_LM3S6965
-config FROSTED_ARCH_LM3S6965
+    default ADK_FROSTED_LM3S6965
+config ADK_FROSTED_ARCH_LM3S6965
     bool "LM3S6965"
-    select FROSTED_FLASH_SIZE_256KB
-    select FROSTED_RAM_SIZE_64KB
-config FROSTED_ARCH_LM3SVIRT
+    select ADK_FROSTED_FLASH_SIZE_256KB
+    select ADK_FROSTED_RAM_SIZE_64KB
+config ADK_FROSTED_ARCH_LM3SVIRT
     bool "LM3S-VIRTUAL"
-    select FROSTED_FLASH_SIZE_1MB
-    select FROSTED_RAM_SIZE_256KB
+    select ADK_FROSTED_FLASH_SIZE_1MB
+    select ADK_FROSTED_RAM_SIZE_256KB
 endchoice
 
 endif
 
-    config FROSTED_FLASH_SIZE_2MB
+    config ADK_FROSTED_FLASH_SIZE_2MB
             bool
-    config FROSTED_FLASH_SIZE_1MB
+    config ADK_FROSTED_FLASH_SIZE_1MB
             bool
-    config FROSTED_FLASH_SIZE_512KB
+    config ADK_FROSTED_FLASH_SIZE_512KB
             bool
-    config FROSTED_FLASH_SIZE_384KB
+    config ADK_FROSTED_FLASH_SIZE_384KB
             bool
-    config FROSTED_FLASH_SIZE_256KB
+    config ADK_FROSTED_FLASH_SIZE_256KB
             bool
-    config FROSTED_FLASH_SIZE_128KB
+    config ADK_FROSTED_FLASH_SIZE_128KB
             bool
 
-    config FROSTED_RAM_SIZE_368KB
+    config ADK_FROSTED_RAM_SIZE_368KB
             bool
-    config FROSTED_RAM_SIZE_320KB
+    config ADK_FROSTED_RAM_SIZE_320KB
             bool
-    config FROSTED_RAM_SIZE_256KB
+    config ADK_FROSTED_RAM_SIZE_256KB
             bool
-    config FROSTED_RAM_SIZE_192KB
+    config ADK_FROSTED_RAM_SIZE_192KB
             bool
-    config FROSTED_RAM_SIZE_128KB
+    config ADK_FROSTED_RAM_SIZE_128KB
             bool
-    config FROSTED_RAM_SIZE_96KB
+    config ADK_FROSTED_RAM_SIZE_96KB
             bool
-    config FROSTED_RAM_SIZE_64KB
+    config ADK_FROSTED_RAM_SIZE_64KB
             bool
-    config FROSTED_RAM_SIZE_32KB
+    config ADK_FROSTED_RAM_SIZE_32KB
             bool
-    config FROSTED_RAM_SIZE_16KB
+    config ADK_FROSTED_RAM_SIZE_16KB
             bool
 
-    config FROSTED_ARCH_STM32F401
+    config ADK_FROSTED_ARCH_STM32F401
         bool
-    config FROSTED_ARCH_STM32F405
+    config ADK_FROSTED_ARCH_STM32F405
         bool
-    config FROSTED_ARCH_STM32F407
+    config ADK_FROSTED_ARCH_STM32F407
         bool
-    config FROSTED_ARCH_STM32F411
+    config ADK_FROSTED_ARCH_STM32F411
         bool
-    config FROSTED_ARCH_STM32F429
+    config ADK_FROSTED_ARCH_STM32F429
         bool
-    config FROSTED_ARCH_STM32F446
+    config ADK_FROSTED_ARCH_STM32F446
         bool
-    config FROSTED_ARCH_STM32F746
+    config ADK_FROSTED_ARCH_STM32F746
         bool
-    config FROSTED_ARCH_STM32F769
+    config ADK_FROSTED_ARCH_STM32F769
         bool
 
-    config FROSTED_DEVSTM32DMA
+    config ADK_FROSTED_DEVSTM32DMA
         bool
 
     #Temp hack to allow '407 & '411 clock setups to coexist
     choice
         prompt "Clock Speed"
-        config FROSTED_CLK_48MHZ
+        config ADK_FROSTED_CLK_48MHZ
             bool "48MHz"
-            depends on (FROSTED_ARCH_STM32F401  || FROSTED_ARCH_STM32F411 || FROSTED_ARCH_STM32F429)
-        config FROSTED_CLK_84MHZ
+            depends on (ADK_FROSTED_ARCH_STM32F401  || ADK_FROSTED_ARCH_STM32F411 || ADK_FROSTED_ARCH_STM32F429)
+        config ADK_FROSTED_CLK_84MHZ
             bool "84MHz"
-            depends on (FROSTED_ARCH_STM32F401 ||FROSTED_ARCH_STM32F411 || FROSTED_ARCH_STM32F429)
-        config FROSTED_CLK_100MHZ
+            depends on (ADK_FROSTED_ARCH_STM32F401 ||FROSTED_ARCH_STM32F411 || ADK_FROSTED_ARCH_STM32F429)
+        config ADK_FROSTED_CLK_100MHZ
             bool "100MHz"
-            depends on FROSTED_ARCH_LPC17XX
-        config FROSTED_CLK_120MHZ
+            depends on ADK_FROSTED_ARCH_LPC17XX
+        config ADK_FROSTED_CLK_120MHZ
             bool "120MHz"
-            depends on (FROSTED_ARCH_STM32F407 || FROSTED_ARCH_STM32F405 || FROSTED_ARCH_LPC1769)
-        config FROSTED_CLK_168MHZ
+            depends on (ADK_FROSTED_ARCH_STM32F407 || ADK_FROSTED_ARCH_STM32F405 || ADK_FROSTED_ARCH_LPC1769)
+        config ADK_FROSTED_CLK_168MHZ
             bool "168MHz"
-            depends on (FROSTED_ARCH_STM32F407 ||  FROSTED_ARCH_STM32F405 || FROSTED_ARCH_STM32F429)
-        config FROSTED_CLK_180MHZ
+            depends on (ADK_FROSTED_ARCH_STM32F407 ||  ADK_FROSTED_ARCH_STM32F405 || ADK_FROSTED_ARCH_STM32F429)
+        config ADK_FROSTED_CLK_180MHZ
             bool "180MHz"
-            depends on (FROSTED_ARCH_STM32F446)
-        config FROSTED_CLK_216MHZ
+            depends on (ADK_FROSTED_ARCH_STM32F446)
+        config ADK_FROSTED_CLK_216MHZ
             bool "216MHZ"
-            depends on (FROSTED_ARCH_STM32F746 || FROSTED_ARCH_STM32F769)
+            depends on (ADK_FROSTED_ARCH_STM32F746 || ADK_FROSTED_ARCH_STM32F769)
     endchoice
 
     choice
         prompt "Board"
-    config FROSTED_MACH_STM32F746Discovery
+    config ADK_FROSTED_MACH_STM32F746Discovery
         bool "STM32F746 Discovery"
-        depends on (FROSTED_ARCH_STM32F746)
-    config FROSTED_MACH_STM32F769Discovery
+        depends on (ADK_FROSTED_ARCH_STM32F746)
+    config ADK_FROSTED_MACH_STM32F769Discovery
         bool "STM32F769 Discovery"
-        depends on (FROSTED_ARCH_STM32F769)
-    config FROSTED_MACH_STM32F746Nucleo144
+        depends on (ADK_FROSTED_ARCH_STM32F769)
+    config ADK_FROSTED_MACH_STM32F746Nucleo144
         bool "STM32F746 Nucleo-144"
-        depends on (FROSTED_ARCH_STM32F746)
-    config FROSTED_MACH_STM32F407Discovery
+        depends on (ADK_FROSTED_ARCH_STM32F746)
+    config ADK_FROSTED_MACH_STM32F407Discovery
         bool "STM32F407Discovery"
-        depends on (FROSTED_ARCH_STM32F407)
-    config FROSTED_MACH_STM32F405Pyboard
+        depends on (ADK_FROSTED_ARCH_STM32F407)
+    config ADK_FROSTED_MACH_STM32F405Pyboard
         bool "STM32F405 PyBoard (micropython)"
-        depends on (FROSTED_ARCH_STM32F405)
-    config FROSTED_MACH_STM32F4x1Discovery
+        depends on (ADK_FROSTED_ARCH_STM32F405)
+    config ADK_FROSTED_MACH_STM32F4x1Discovery
         bool "STM32F4x1Discovery"
-        depends on (   FROSTED_ARCH_STM32F401 ||FROSTED_ARCH_STM32F411)
-    config FROSTED_MACH_STM32F429Discovery
+        depends on (   ADK_FROSTED_ARCH_STM32F401 ||ADK_FROSTED_ARCH_STM32F411)
+    config ADK_FROSTED_MACH_STM32F429Discovery
         bool "STM32F429Discovery"
-        depends on (FROSTED_ARCH_STM32F429)
-    config FROSTED_MACH_STM32F446Nucleo
+        depends on (ADK_FROSTED_ARCH_STM32F429)
+    config ADK_FROSTED_MACH_STM32F446Nucleo
         bool "STM32F446 Nucleo"
-        depends on (FROSTED_ARCH_STM32F446)
+        depends on (ADK_FROSTED_ARCH_STM32F446)
 
-    config FROSTED_MACH_LPC1768MBED
+    config ADK_FROSTED_MACH_LPC1768MBED
         bool "LPC1768MBED"
-        depends on FROSTED_ARCH_LPC1768
-    config FROSTED_MACH_SEEEDPRO
+        depends on ADK_FROSTED_ARCH_LPC1768
+    config ADK_FROSTED_MACH_SEEEDPRO
         bool "SEEEDPRO"
-        depends on FROSTED_ARCH_LPC1768
-    config FROSTED_MACH_LPC1679XPRESSO
+        depends on ADK_FROSTED_ARCH_LPC1768
+    config ADK_FROSTED_MACH_LPC1679XPRESSO
         bool "LPC1679XPRESSO"
-        depends on FROSTED_ARCH_LPC1769
-    config FROSTED_MACH_LM3S6965EVB
+        depends on ADK_FROSTED_ARCH_LPC1769
+    config ADK_FROSTED_MACH_LM3S6965EVB
         bool "lm3s6965evb"
-        depends on FROSTED_ARCH_LM3S6965
-    config FROSTED_MACH_LM3SVIRT
+        depends on ADK_FROSTED_ARCH_LM3S6965
+    config ADK_FROSTED_MACH_LM3SVIRT
         bool "lm3s-qemu"
-        depends on FROSTED_ARCH_LM3SVIRT
+        depends on ADK_FROSTED_ARCH_LM3SVIRT
 
     endchoice
 
-    config FROSTED_STM32F7_SDRAM
-    depends on FROSTED_ARCH_STM32F7
+    config ADK_FROSTED_STM32F7_SDRAM
+    depends on ADK_FROSTED_ARCH_STM32F7
     bool "Enable external SDRAM"
     default y
 
-    config FROSTED_STM32F4_SDRAM
-    depends on FROSTED_ARCH_STM32F4
+    config ADK_FROSTED_STM32F4_SDRAM
+    depends on ADK_FROSTED_ARCH_STM32F4
     bool "Enable external SDRAM"
     default n
 
@@ -329,48 +329,48 @@ endmenu
 
 menu "Kernel Configuration"
 
-config FROSTED_KFLASHMEM_SIZE
+config ADK_FROSTED_KFLASHMEM_SIZE
     int "Kernel Flash size (KB)"
     default 64
 
-config FROSTED_KRAMMEM_SIZE
+config ADK_FROSTED_KRAMMEM_SIZE
     int "Kernel RAM size (KB)"
     default 64
 
 choice
 prompt "Tasks Stack Size"
-default FROSTED_TASK_STACK_SIZE_2K
+default ADK_FROSTED_TASK_STACK_SIZE_2K
 
-   config FROSTED_TASK_STACK_SIZE_1K
+   config ADK_FROSTED_TASK_STACK_SIZE_1K
    bool "Tiny stack (1024 Bytes)"
 
-   config FROSTED_TASK_STACK_SIZE_2K
+   config ADK_FROSTED_TASK_STACK_SIZE_2K
    bool "Small stack (2048 Bytes)"
 
-   config FROSTED_TASK_STACK_SIZE_4K
+   config ADK_FROSTED_TASK_STACK_SIZE_4K
    bool "Big stack (4096 Bytes)"
 
-   config FROSTED_TASK_STACK_SIZE_8K
+   config ADK_FROSTED_TASK_STACK_SIZE_8K
    bool "Huge stack (8192 Bytes)"
 endchoice
 
-config FROSTED_MPU
+config ADK_FROSTED_MPU
 bool "Run-time Memory Protection"
 default y
 
-config FROSTED_PTHREADS
+config ADK_FROSTED_PTHREADS
 bool "POSIX Threads (pthreads)"
 default y
 
-config FROSTED_SIGNALS
+config ADK_FROSTED_SIGNALS
 bool "Process Signals"
 default y
 
-config FROSTED_PIPE
+config ADK_FROSTED_PIPE
 bool "Pipe"
 default y
 
-config FROSTED_SOCK_UNIX
+config ADK_FROSTED_SOCK_UNIX
 bool "UNIX Sockets for IPC"
 default n
 
@@ -381,24 +381,24 @@ endmenu
 
 menu "Debugging options"
 
-config FROSTED_KLOG
+config ADK_FROSTED_KLOG
     bool "Enable kernel logging"
     default y
 
-config FROSTED_KLOG_SIZE
-    depends on FROSTED_KLOG
+config ADK_FROSTED_KLOG_SIZE
+    depends on ADK_FROSTED_KLOG
     int "Kernel log buffer size"
     default 256
 
-config FROSTED_MEMFAULT_DBG
+config ADK_FROSTED_MEMFAULT_DBG
     bool "Enable extended segfault debug"
     default y
 
-config FROSTED_HARDFAULT_DBG
+config ADK_FROSTED_HARDFAULT_DBG
     bool "Enable extended hardfault debug"
     default n
 
-config FROSTED_STRACE
+config ADK_FROSTED_STRACE
     bool "Enable syscall tracer"
     default n
 
@@ -406,96 +406,96 @@ endmenu
 
 
 menu "Filesystems"
-       config FROSTED_SYSFS
+       config ADK_FROSTED_SYSFS
        bool "SysFS (/sys)"
        default y
 
-       config FROSTED_MEMFS
+       config ADK_FROSTED_MEMFS
        bool "MemFS"
        default y
 
-       config FROSTED_XIPFS
+       config ADK_FROSTED_XIPFS
        bool "Xip FS"
        default y
 
-       config FROSTED_FATFS
+       config ADK_FROSTED_FATFS
        bool "Fat FS"
        default n
 
-       config FROSTED_FAT32
-       depends on FROSTED_FATFS
+       config ADK_FROSTED_FAT32
+       depends on ADK_FROSTED_FATFS
        bool "Fat32 support"
        default n
 
-       config FROSTED_FAT16
-       depends on FROSTED_FATFS
+       config ADK_FROSTED_FAT16
+       depends on ADK_FROSTED_FATFS
        bool "Fat16 support"
        default y
 
 endmenu
 
 menu "Networking"
-       config FROSTED_SOCK_INET
+       config ADK_FROSTED_SOCK_INET
        bool "TCP/IP Socket support"
        default n
-       config FROSTED_TCPIP_MEMPOOL_YN
+       config ADK_FROSTED_TCPIP_MEMPOOL_YN
        bool "Separate memory pool for TCP/IP stack"
        default n
-       if FROSTED_TCPIP_MEMPOOL_YN
-        config FROSTED_TCPIP_MEMPOOL
+       if ADK_FROSTED_TCPIP_MEMPOOL_YN
+        config ADK_FROSTED_TCPIP_MEMPOOL
         string "TCP/IP pool base address"
         default "0x10000000"
        endif
-       choice FROSTED_NET_STACK
+       choice ADK_FROSTED_NET_STACK
         prompt "TCP/IP stack selection"
-        default FROSTED_PICOTCP
-        depends on FROSTED_SOCK_INET
+        default ADK_FROSTED_PICOTCP
+        depends on ADK_FROSTED_SOCK_INET
 
-        config FROSTED_PICOTCP
+        config ADK_FROSTED_PICOTCP
         bool "Built-in PicoTCP"
        endchoice
 
-if FROSTED_PICOTCP 
+if ADK_FROSTED_PICOTCP 
 
 menu "picoTCP configuration"
 
-config FROSTED_CONFIG_PICOTCP_IPV4
+config ADK_FROSTED_CONFIG_PICOTCP_IPV4
     bool "Support for IP version 4"
     default y
 
-config FROSTED_CONFIG_PICOTCP_IPV6
+config ADK_FROSTED_CONFIG_PICOTCP_IPV6
     bool "Support for IP version 6"
     default n
 
-config FROSTED_CONFIG_PICOTCP_TCP
+config ADK_FROSTED_CONFIG_PICOTCP_TCP
     bool "Support for TCP"
     default y
 
-config FROSTED_CONFIG_PICOTCP_UDP
+config ADK_FROSTED_CONFIG_PICOTCP_UDP
     bool "Support for UDP"
     default y
 
-config FROSTED_CONFIG_PICOTCP_DNS
+config ADK_FROSTED_CONFIG_PICOTCP_DNS
     bool "Support for DNS client"
     default y
 
-config FROSTED_CONFIG_PICOTCP_MCAST
+config ADK_FROSTED_CONFIG_PICOTCP_MCAST
     bool "Support for Multicast"
     default n
 
-config FROSTED_CONFIG_PICOTCP_NAT
+config ADK_FROSTED_CONFIG_PICOTCP_NAT
     bool "Support for NAT"
     default n
 
-config FROSTED_CONFIG_PICOTCP_IPFILTER
+config ADK_FROSTED_CONFIG_PICOTCP_IPFILTER
     bool "Support for IP Filter"
     default n
 
-config FROSTED_CONFIG_PICOTCP_LOOP
+config ADK_FROSTED_CONFIG_PICOTCP_LOOP
     bool "Support for loopback device"
     default y
 
-config FROSTED_CONFIG_PICOTCP_DEBUG
+config ADK_FROSTED_CONFIG_PICOTCP_DEBUG
     bool "Activate debugging symbols"
     default n
 
@@ -505,449 +505,296 @@ endif
 endmenu
 
 menu "Device Drivers"
-       config FROSTED_DEVNULL
+       config ADK_FROSTED_DEVNULL
        bool "Support for /dev/null and /dev/zero"
        default y
 
-       menuconfig FROSTED_DEVUART
+       menuconfig ADK_FROSTED_DEVUART
        bool "Generic UART driver"
        default y
 
-       if FROSTED_DEVUART
+       if ADK_FROSTED_DEVUART
 
-            config FROSTED_USART_0
+            config ADK_FROSTED_USART_0
             bool "USART 0"
-            depends on (FROSTED_ARCH_LM3S6965 || FROSTED_ARCH_LM3SVIRT)
+            depends on (FROSTED_ARCH_LM3S6965 || ADK_FROSTED_ARCH_LM3SVIRT)
 
-            config FROSTED_USART_1
+            config ADK_FROSTED_USART_1
             bool "USART 1"
-            depends on (FROSTED_ARCH_LM3S6965 || FROSTED_ARCH_LM3SVIRT || \
-                        FROSTED_ARCH_STM32F401 ||FROSTED_ARCH_STM32F411 || FROSTED_ARCH_STM32F405 || FROSTED_ARCH_STM32F407  || FROSTED_ARCH_STM32F429 || FROSTED_ARCH_STM32F446 || \
-                        FROSTED_ARCH_STM32F746 || FROSTED_ARCH_STM32F769)
+            depends on (FROSTED_ARCH_LM3S6965 || ADK_FROSTED_ARCH_LM3SVIRT || \
+                        ADK_FROSTED_ARCH_STM32F401 ||FROSTED_ARCH_STM32F411 || ADK_FROSTED_ARCH_STM32F405 || ADK_FROSTED_ARCH_STM32F407  || ADK_FROSTED_ARCH_STM32F429 || ADK_FROSTED_ARCH_STM32F446 || \
+                        ADK_FROSTED_ARCH_STM32F746 || ADK_FROSTED_ARCH_STM32F769)
 
-            config FROSTED_USART_2
+            config ADK_FROSTED_USART_2
             bool "USART 2"
-            depends on (FROSTED_ARCH_LM3S6965 || FROSTED_ARCH_LM3SVIRT || \
-                        FROSTED_ARCH_STM32F401 || FROSTED_ARCH_STM32F411 || FROSTED_ARCH_STM32F405 || FROSTED_ARCH_STM32F429  || FROSTED_ARCH_STM32F407 || FROSTED_ARCH_STM32F446 || \
-                        FROSTED_ARCH_STM32F746 || FROSTED_ARCH_STM32F769 )
+            depends on (FROSTED_ARCH_LM3S6965 || ADK_FROSTED_ARCH_LM3SVIRT || \
+                        ADK_FROSTED_ARCH_STM32F401 || ADK_FROSTED_ARCH_STM32F411 || ADK_FROSTED_ARCH_STM32F405 || ADK_FROSTED_ARCH_STM32F429  || ADK_FROSTED_ARCH_STM32F407 || ADK_FROSTED_ARCH_STM32F446 || \
+                        ADK_FROSTED_ARCH_STM32F746 || ADK_FROSTED_ARCH_STM32F769 )
 
-            config FROSTED_USART_3
+            config ADK_FROSTED_USART_3
             bool "USART 3"
-            depends on (FROSTED_ARCH_STM32F407 || FROSTED_ARCH_STM32F405 || FROSTED_ARCH_STM32F746 || FROSTED_ARCH_STM32F769 )
+            depends on (FROSTED_ARCH_STM32F407 || ADK_FROSTED_ARCH_STM32F405 || ADK_FROSTED_ARCH_STM32F746 || ADK_FROSTED_ARCH_STM32F769 )
 
-            config FROSTED_USART_6
+            config ADK_FROSTED_USART_6
             bool "USART 6"
-            depends on (FROSTED_ARCH_STM32F401 ||FROSTED_ARCH_STM32F411 || FROSTED_ARCH_STM32F407 || FROSTED_ARCH_STM32F405 || FROSTED_ARCH_STM32F446 || \
-                        FROSTED_ARCH_STM32F746 || FROSTED_ARCH_STM32F769 )
+            depends on (FROSTED_ARCH_STM32F401 ||FROSTED_ARCH_STM32F411 || ADK_FROSTED_ARCH_STM32F407 || ADK_FROSTED_ARCH_STM32F405 || ADK_FROSTED_ARCH_STM32F446 || \
+                        ADK_FROSTED_ARCH_STM32F746 || ADK_FROSTED_ARCH_STM32F769 )
 
-            config FROSTED_UART_0
+            config ADK_FROSTED_UART_0
             bool "UART 0"
-            depends on FROSTED_ARCH_LPC17XX
+            depends on ADK_FROSTED_ARCH_LPC17XX
 
-            config FROSTED_UART_1
+            config ADK_FROSTED_UART_1
             bool "UART 1"
-            depends on FROSTED_ARCH_LPC17XX
+            depends on ADK_FROSTED_ARCH_LPC17XX
 
-            config FROSTED_UART_2
+            config ADK_FROSTED_UART_2
             bool "UART 2"
-            depends on FROSTED_ARCH_LPC17XX
+            depends on ADK_FROSTED_ARCH_LPC17XX
 
-            config FROSTED_UART_3
+            config ADK_FROSTED_UART_3
             bool "UART 3"
-            depends on FROSTED_ARCH_LPC17XX
+            depends on ADK_FROSTED_ARCH_LPC17XX
 
        endif
 
-       config FROSTED_DEVF4DSP
+       config ADK_FROSTED_DEVF4DSP
        bool "STM32F4 Sound driver"
-       depends on (FROSTED_ARCH_STM32F401 ||FROSTED_ARCH_STM32F411 || FROSTED_ARCH_STM32F407 || FROSTED_ARCH_STM32F405  || FROSTED_ARCH_STM32F429 || FROSTED_ARCH_STM32F446)
-       select FROSTED_DEVSTM32DMA
+       depends on (FROSTED_ARCH_STM32F401 ||FROSTED_ARCH_STM32F411 || ADK_FROSTED_ARCH_STM32F407 || ADK_FROSTED_ARCH_STM32F405  || ADK_FROSTED_ARCH_STM32F429 || ADK_FROSTED_ARCH_STM32F446)
+       select ADK_FROSTED_DEVSTM32DMA
        default n
     
-       config FROSTED_DEVSTM32USB
+       config ADK_FROSTED_DEVSTM32USB
        bool
        
-       menuconfig FROSTED_DEVSTM32USBFS
+       menuconfig ADK_FROSTED_DEVSTM32USBFS
        bool "Support for Full Speed USB OTG"
-       depends on (!FROSTED_DEVSTM32USBHFS) && (FROSTED_ARCH_STM32F401 ||FROSTED_ARCH_STM32F411 || FROSTED_ARCH_STM32F407 || FROSTED_ARCH_STM32F405  || FROSTED_ARCH_STM32F429 || FROSTED_ARCH_STM32F446 || \
-                   FROSTED_ARCH_STM32F746)
+       depends on (!ADK_FROSTED_DEVSTM32USBHFS) && (FROSTED_ARCH_STM32F401 ||FROSTED_ARCH_STM32F411 || ADK_FROSTED_ARCH_STM32F407 || ADK_FROSTED_ARCH_STM32F405  || ADK_FROSTED_ARCH_STM32F429 || ADK_FROSTED_ARCH_STM32F446 || \
+                   ADK_FROSTED_ARCH_STM32F746)
        default n
-       select FROSTED_DEVSTM32USB
-       if FROSTED_DEVSTM32USBFS
+       select ADK_FROSTED_DEVSTM32USB
+       if ADK_FROSTED_DEVSTM32USBFS
           choice
             prompt "USB FS OTG mode"
-            default FROSTED_USBFS_GUEST
-            config FROSTED_USBFS_HOST
+            default ADK_FROSTED_USBFS_GUEST
+            config ADK_FROSTED_USBFS_HOST
             bool "Host mode"
 
-            config FROSTED_USBFS_GUEST
+            config ADK_FROSTED_USBFS_GUEST
             bool "Device mode"
 
           endchoice
        endif
 
-       menuconfig FROSTED_DEVSTM32USBHS
+       menuconfig ADK_FROSTED_DEVSTM32USBHS
        bool "Support for High Speed USB OTG"
-       depends on (FROSTED_ARCH_STM32F746 || FROSTED_ARCH_STM32F769)
-       select FROSTED_DEVSTM32USB
+       depends on (FROSTED_ARCH_STM32F746 || ADK_FROSTED_ARCH_STM32F769)
+       select ADK_FROSTED_DEVSTM32USB
        default n
-       if FROSTED_DEVSTM32USBHS
+       if ADK_FROSTED_DEVSTM32USBHS
           choice
             prompt "USB HS OTG mode"
-            default FROSTED_USBHS_GUEST
-            config FROSTED_USBHS_HOST
+            default ADK_FROSTED_USBHS_GUEST
+            config ADK_FROSTED_USBHS_HOST
             bool "Host mode"
 
-            config FROSTED_USBHS_GUEST
+            config ADK_FROSTED_USBHS_GUEST
             bool "Device mode"
 
           endchoice
 
         endif
 
-      config FROSTED_DEV_USB_ETH
-      depends on FROSTED_PICOTCP && ( (FROSTED_DEVSTM32USBHS && FROSTED_USBHS_GUEST) || (FROSTED_DEVSTM32USBFS && FROSTED_USBFS_GUEST) )
-      select FROSTED_DEVSTM32USB
+      config ADK_FROSTED_DEV_USB_ETH
+      depends on ADK_FROSTED_PICOTCP && ( (FROSTED_DEVSTM32USBHS && ADK_FROSTED_USBHS_GUEST) || (FROSTED_DEVSTM32USBFS && ADK_FROSTED_USBFS_GUEST) )
+      select ADK_FROSTED_DEVSTM32USB
       bool "Ethernet over USB (CDC-ECM)"
       default n
 
-      if FROSTED_DEV_USB_ETH
-      config FROSTED_USB_DEFAULT_IP
+      if ADK_FROSTED_DEV_USB_ETH
+      config ADK_FROSTED_USB_DEFAULT_IP
       string "Default (boot-up) address for usb0"
       default 192.168.6.150
 
-      config FROSTED_USB_DEFAULT_NM
+      config ADK_FROSTED_USB_DEFAULT_NM
       string "Default (boot-up) netmask for usb0"
       default 255.255.255.0
 
-      config FROSTED_USB_DEFAULT_GW
+      config ADK_FROSTED_USB_DEFAULT_GW
       string "Default (boot-up) gateway for usb0"
       default 192.168.6.1
       endif
 
 
-       config FROSTED_DEVTIM
+       config ADK_FROSTED_DEVTIM
        bool "System CPU timer on TIM2"
-       depends on (FROSTED_ARCH_STM32F401 ||FROSTED_ARCH_STM32F411 || FROSTED_ARCH_STM32F407 || FROSTED_ARCH_STM32F405  || FROSTED_ARCH_STM32F429 || FROSTED_ARCH_STM32F446 || FROSTED_ARCH_STM32F746)
+       depends on (FROSTED_ARCH_STM32F401 ||FROSTED_ARCH_STM32F411 || ADK_FROSTED_ARCH_STM32F407 || ADK_FROSTED_ARCH_STM32F405  || ADK_FROSTED_ARCH_STM32F429 || ADK_FROSTED_ARCH_STM32F446 || ADK_FROSTED_ARCH_STM32F746)
        default n
 
-       config FROSTED_DEVADC
+       config ADK_FROSTED_DEVADC
        bool "Generic ADC driver"
-       depends on (FROSTED_ARCH_STM32F401 ||FROSTED_ARCH_STM32F411 || FROSTED_ARCH_STM32F407 || FROSTED_ARCH_STM32F405  || FROSTED_ARCH_STM32F429 || FROSTED_ARCH_STM32F446)
-       select FROSTED_DEVSTM32DMA
+       depends on (FROSTED_ARCH_STM32F401 ||FROSTED_ARCH_STM32F411 || ADK_FROSTED_ARCH_STM32F407 || ADK_FROSTED_ARCH_STM32F405  || ADK_FROSTED_ARCH_ST