d56acacdcd
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> |
||
---|---|---|
.. | ||
boards | ||
boot | ||
configs | ||
kernel | ||
lib | ||
mach-at32ap | ||
mm | ||
oprofile | ||
Kconfig | ||
Kconfig.debug | ||
Makefile |