../ kern.flp 20-Jan-2000 00:00 1228800 kernide2.flp 20-Jan-2000 00:00 1228800 kernide4.flp 20-Jan-2000 00:00 1228800 kernuide.flp 20-Jan-2000 00:00 1228800 mfsroot.flp 20-Jan-2000 00:00 1228800