28 kernel/Makefile.kernel
46 kernel/kernel_check.tf
50 kernel/kernel_rename.def
51 kernel/kernel_rename.h
52 kernel/kernel_unrename.h
107 INCLUDE target/dve68k_gcc/MANIFEST
108 INCLUDE arch/m68k_gcc/MANIFEST
109 INCLUDE arch/gcc/MANIFEST
110 INCLUDE arch/logtrace/MANIFEST
111 INCLUDE pdic/upd72001/MANIFEST
112 INCLUDE test/MANIFEST
113 INCLUDE extension/MANIFEST