Module Name:	syssrc
Committed By:	matt
Date:		Sun Mar  4 01:50:54 UTC 2001

Modified Files:
	syssrc/sys/arch/arm32/arm32: machdep.c
	syssrc/sys/arch/arm32/shark: shark_machdep.c

Log Message:
Remove a shark dependency in machdep.  Use booted_kernel instead of
boot_kernel to be similiar to booted_device.


To generate a diff of this commit:
cvs rdiff -r1.86 -r1.87 syssrc/sys/arch/arm32/arm32/machdep.c
cvs rdiff -r1.19 -r1.20 syssrc/sys/arch/arm32/shark/shark_machdep.c

Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.