skrll 08a4aba755 C99 types		2012-11-12 18:00:34 +00:00
..
imx31lk_machdep.c	Don't use an asm in pmap_activate to update the TTBR, use cpu_setttb instead	2012-09-22 00:33:36 +00:00
imx31lk_pcic.c	C99 types	2012-11-12 18:00:34 +00:00
imx31lk_reg.h	…
imx31lk_start.S	Add RCSID when needed.	2011-01-31 06:28:02 +00:00