Gregory Nutt c4ec723089 SAMA5 page table is cached; need to flush the cache each time that the page table is updated		2013-07-27 09:27:37 -06:00
..
include	Improve some ARMv7-A/M floating point register save time; Add floating point register save logic for ARMv7-A	2013-07-23 17:52:06 -06:00
src	SAMA5 page table is cached; need to flush the cache each time that the page table is updated	2013-07-27 09:27:37 -06:00
Kconfig	Improve Cortex-A5 context switching so that a little less copying is done	2013-07-24 07:47:51 -06:00