matt 5d1d7ca9ca Remove a shark dependency in machdep. Use booted_kernel instead of ... boot_kernel to be similiar to booted_device.		2001-03-04 01:50:53 +00:00
..
display.h	…
fiq.S	…
fiq.h	…
hat.c	…
hat.h	…
i8042.c	…
i8042reg.h	…
kbdreg.h	…
ns87307.c	…
ns87307reg.h	…
pccons.c	…
pms.c	…
profile.c	…
scr.c	…
sequoia.c	…
sequoia.h	…
shark_machdep.c	…