acrn-kernel/arch/avr32/configs
Haavard Skinnemoen d56acacdcd avr32: Update defconfigs
Just provide reasonable defaults for the new stuff. Tickless and
hrtimers are turned on for all boards except ATSTK1004.

Signed-off-by: Haavard Skinnemoen <haavard.skinnemoen@atmel.com>
2008-05-26 13:38:29 +02:00
..
atngw100_defconfig avr32: Update defconfigs 2008-05-26 13:38:29 +02:00
atstk1002_defconfig avr32: Update defconfigs 2008-05-26 13:38:29 +02:00
atstk1003_defconfig avr32: Update defconfigs 2008-05-26 13:38:29 +02:00
atstk1004_defconfig avr32: Update defconfigs 2008-05-26 13:38:29 +02:00