source "init/Kconfig"
+source "kernel/Kconfig.freezer"
+
menu "System Type and features"
source "kernel/time/Kconfig"
config BOARD_FAVR_32
bool "Favr-32 LCD-board"
select CPU_AT32AP7000
+
+config BOARD_MIMC200
+ bool "MIMC200 CPU board"
+ select CPU_AT32AP7000
endchoice
source "arch/avr32/boards/atstk1000/Kconfig"