K 10
svn:author
V 5
johan
K 8
svn:date
V 27
2002-11-25T13:49:31.000000Z
K 7
svn:log
V 185
Reflect that we now use
	device ppc
and
	hint.ppc.0.at="isa"
	hint.ppc.0.irq="7"
in /boot/device.hints to configure the ppc device.

Reviewed by: trhodes, ru
Approved by: re@ (rwatson)

END