1# 2# Sorted using sort_set.pl in releasetools. 3# to add an entry simply add it at the end of the 4# file and run 5# ../../../../releasetools/sort_set.pl < mi > out 6# mv out mi 7# 8. minix-kernel 9./boot minix-kernel 10./boot/minix minix-kernel 11./boot/minix/.temp minix-kernel 12./boot/minix/.temp/kernel minix-kernel 13./boot/minix/.temp/mod01_ds minix-kernel 14./boot/minix/.temp/mod02_rs minix-kernel 15./boot/minix/.temp/mod03_pm minix-kernel 16./boot/minix/.temp/mod04_sched minix-kernel 17./boot/minix/.temp/mod05_vfs minix-kernel 18./boot/minix/.temp/mod06_memory minix-kernel 19./boot/minix/.temp/mod07_tty minix-kernel 20./boot/minix/.temp/mod08_mib minix-kernel 21./boot/minix/.temp/mod09_vm minix-kernel 22./boot/minix/.temp/mod10_pfs minix-kernel 23./boot/minix/.temp/mod11_mfs minix-kernel 24./boot/minix/.temp/mod12_init minix-kernel 25./etc minix-kernel 26./etc/mtree minix-kernel 27./etc/mtree/set.minix-kernel minix-kernel 28./var minix-kernel 29./var/db minix-kernel 30./var/db/obsolete minix-kernel 31./var/db/obsolete/minix-kernel minix-kernel 32