NetBSD/sys/arch/evbarm/imx31
..
imx31lk_machdep.c
imx31lk_pcic.c
imx31lk_reg.h
imx31lk_start.S