# Default configuration for lm32-softmmu
-CONFIG_PTIMER=y
-CONFIG_PFLASH_CFI02=y
+# Uncomment the following lines to disable these optional devices:
+#
+#CONFIG_MILKYMIST_TMU2=n # disabling it actually causes compile-time failures
+
+CONFIG_SEMIHOSTING=y
+
+# Boards:
+#
+CONFIG_LM32=y
+CONFIG_MILKYMIST=y