#ident	"@(#)pkgcore:protos/kernel	1.9"

!bootsrc=/usr/src/uts/3b2
!mstrsrc=/usr/src/uts/3b2/master.d

f kernel /boot/BFS=$bootsrc/fs/bfs/BFS 0444 root root
f kernel /boot/COFF=$bootsrc/exec/coff/COFF 0444 root root
f kernel /boot/DEBUG=$bootsrc/debug/DEBUG 0444 root root
f kernel /boot/ELF=$bootsrc/exec/elf/ELF 0444 root root
f kernel /boot/FIFOFS=$bootsrc/fs/fifofs/FIFOFS 0444 root root
f kernel /boot/GENTTY=$bootsrc/io/GENTTY 0444 root root
f kernel /boot/HDELOG=$bootsrc/io/HDELOG 0444 root root
f kernel /boot/HRT=$bootsrc/io/HRT 0444 root root
f kernel /boot/IDISK=$bootsrc/io/IDISK 0444 root root
f kernel /boot/INTP=$bootsrc/exec/intp/INTP 0444 root root
f kernel /boot/IUART=$bootsrc/io/IUART 0444 root root
f kernel /boot/KERNEL=$bootsrc/KERNEL 0555 root root
f kernel /boot/GATE=$bootsrc/GATE 0555 root root
f kernel /boot/START=$bootsrc/START 0555 root root
f kernel /boot/LDTERM=$bootsrc/io/LDTERM 0444 root root
f kernel /boot/LOG=/usr/src/uts/3b2/io/LOG 0444 root root
f kernel /boot/MAU=$bootsrc/io/MAU 0444 root root
f kernel /boot/MEM=$bootsrc/io/MEM 0444 root root
f kernel /boot/NAMEFS=$bootsrc/fs/namefs/NAMEFS 0444 root root
f kernel /boot/PIPEMOD=$bootsrc/io/PIPEMOD 0444 root root
f kernel /boot/PORTS=$bootsrc/io/PORTS 0444 root root
f kernel /boot/PROC=$bootsrc/fs/proc/PROC 0444 root root
f kernel /boot/RT=$bootsrc/disp/RT 0444 root root
f kernel /boot/S5=$bootsrc/fs/s5/S5 0444 root root
f kernel /boot/SAD=$bootsrc/io/SAD 0444 root root
f kernel /boot/KMA=$bootsrc/os/KMA 0444 root root
f kernel /boot/SPECFS=$bootsrc/fs/specfs/SPECFS 0444 root root
f kernel /boot/STUBS=$bootsrc/io/STUBS 0444 root root
f kernel /boot/TS=$bootsrc/disp/TS 0444 root root
f kernel /boot/TTCOMPAT=$bootsrc/io/TTCOMPAT 0444 root root
f kernel /etc/master.d/README=$mstrsrc/README 0444 root root
f kernel /etc/master.d/bfs=$mstrsrc/bfs 0444 root root
f kernel /etc/master.d/coff=$mstrsrc/coff 0444 root root
f kernel /etc/master.d/debug=$mstrsrc/debug 0444 root root
f kernel /etc/master.d/elf=$mstrsrc/elf 0444 root root
f kernel /etc/master.d/fifofs=$mstrsrc/fifofs 0444 root root
f kernel /etc/master.d/gentty=$mstrsrc/gentty 0444 root root
f kernel /etc/master.d/hdelog=$mstrsrc/hdelog 0444 root root
f kernel /etc/master.d/hrt=$mstrsrc/hrt 0444 root root
f kernel /etc/master.d/idisk=$mstrsrc/idisk 0444 root root
f kernel /etc/master.d/intp=$mstrsrc/intp 0444 root root
f kernel /etc/master.d/iuart=$mstrsrc/iuart 0444 root root
f kernel /etc/master.d/kernel=$mstrsrc/kernel 0444 root root
f kernel /etc/master.d/gate=$mstrsrc/gate 0444 root root
f kernel /etc/master.d/start=$mstrsrc/start 0444 root root
f kernel /etc/master.d/ldterm=$mstrsrc/ldterm 0444 root root
f kernel /etc/master.d/log=$mstrsrc/log 0444 root root
f kernel /etc/master.d/mau=$mstrsrc/mau 0444 root root
f kernel /etc/master.d/mem=$mstrsrc/mem 0444 root root
f kernel /etc/master.d/namefs=$mstrsrc/namefs 0444 root root
f kernel /etc/master.d/pipemod=$mstrsrc/pipemod 0444 root root
f kernel /etc/master.d/ports=$mstrsrc/ports 0444 root root
f kernel /etc/master.d/proc=$mstrsrc/proc 0444 root root
f kernel /etc/master.d/rt=$mstrsrc/rt 0444 root root
f kernel /etc/master.d/s5=$mstrsrc/s5 0444 root root
f kernel /etc/master.d/sad=$mstrsrc/sad 0444 root root
f kernel /etc/master.d/specfs=$mstrsrc/specfs 0444 root root
f kernel /etc/master.d/stubs=$mstrsrc/stubs 0444 root root
f kernel /etc/master.d/ts=$mstrsrc/ts 0444 root root
f kernel /etc/master.d/ttcompat=$mstrsrc/ttcompat 0444 root root
