27 kernel/Makefile.kernel
44 kernel/kernel_check.tf
48 kernel/kernel_rename.def
49 kernel/kernel_rename.h
50 kernel/kernel_unrename.h
105 INCLUDE target/dve68k_gcc/MANIFEST
106 INCLUDE arch/m68k_gcc/MANIFEST
107 INCLUDE arch/gcc/MANIFEST
108 INCLUDE arch/logtrace/MANIFEST
109 INCLUDE pdic/upd72001/MANIFEST
110 INCLUDE test/MANIFEST
111 INCLUDE extension/MANIFEST