NetBSD/sys/arch/evbarm/ixdp425
..
ixdp425_machdep.c
ixdp425_mainbus.c
ixdp425_start.S
ixdp425reg.h
ixpcom_ixdp425.c