diff --git a/arch/arm/defconfig b/arch/arm/defconfig
index e0b7a51bccf..40a5a79a47f 100644
--- a/arch/arm/defconfig
+++ b/arch/arm/defconfig
@@ -10,6 +10,8 @@ CONFIG_MICROKERNEL=y
 #
 CONFIG_SYS_CLOCK_TICKS_PER_SEC=100
 CONFIG_SYS_CLOCK_HW_CYCLES_PER_SEC=25000000
+# CONFIG_TICKLESS_KERNEL is not set
+# CONFIG_INIT_STACKS is not set
 # CONFIG_XIP is not set
 # CONFIG_ENHANCED_SECURITY is not set
 
@@ -19,6 +21,7 @@ CONFIG_SYS_CLOCK_HW_CYCLES_PER_SEC=25000000
 # CONFIG_BOOT_BANNER is not set
 CONFIG_MAIN_STACK_SIZE=1024
 CONFIG_ISR_STACK_SIZE=2048
+# CONFIG_CONTEXT_CUSTOM_DATA is not set
 
 #
 # Microkernel Options
@@ -27,7 +30,6 @@ CONFIG_ISR_STACK_SIZE=2048
 #
 # Core Microkernel Options
 #
-CONFIG_COMMAND_PACKET=y
 CONFIG_MICROKERNEL_SERVER_STACK_SIZE=1024
 CONFIG_MICROKERNEL_SERVER_PRIORITY=0
 CONFIG_PRIORITY_CEILING=0
@@ -104,6 +106,11 @@ CONFIG_ARCH_HAS_TASK_ABORT=y
 CONFIG_ARCH_HAS_NANO_FIBER_ABORT=y
 CONFIG_WDOG_INIT=y
 
+#
+# General Setup
+#
+CONFIG_CROSS_COMPILE=""
+
 #
 # Debugging Options
 #
@@ -118,8 +125,9 @@ CONFIG_WDOG_INIT=y
 # Compile and Link Features
 #
 CONFIG_COMPILER_OPT=""
-CONFIG_SECTION_GARBAGE_COLLECTION=y
 CONFIG_DRV_CONSOLE=y
+# CONFIG_UART_INTERRUPT_DRIVEN is not set
+# CONFIG_CONSOLE_HANDLER is not set
 CONFIG_DRV_SERIAL=y
 # CONFIG_DRV_NS16550 is not set
 CONFIG_DRV_K20_UART=y