christos 721e82b55a exec modules need to be of the exec kind		2013-09-19 18:50:35 +00:00
..
files.vax1k
vax1k_exec.c
vax1k_exec.h