>Number:         9671
>Category:       port-arm32
>Synopsis:       Cannot configure SHARK kernel
>Confidential:   no
>Severity:       serious
>Priority:       high
>Responsible:    port-arm32-maintainer (NetBSD/arm32 Portmaster)
>State:          open
>Class:          sw-bug
>Submitter-Id:   net
>Arrival-Date:   Fri Mar 24 06:06:00 2000
>Last-Modified:
>Originator:     Lennart Augustsson
>Organization:
Department of Computing Science, Chalmers University
>Release:        NetBSD-current 2000-03-24
>Environment:
System: NetBSD calvin 1.4V NetBSD 1.4V (CALVIN) #5: Thu Mar 16 21:57:35 CET 2000 augustss@calvin:/usr/src/sys/arch/i386/compile/CALVIN i386


>Description:
	Configuration of the SHARK kernel fails.
>How-To-Repeat:
	hobbes% cd /sys/arch/arm32/conf/
	hobbes% config SHARK
	../../../../dev/ofw/files.ofw:23: attaching undefined device `ipkdbif'
	../../../../arch/arm32/conf/files.arm32: device `ipkdbif' used but not defined
	*** Stop.

>Fix:
	Don't ask me.
>Audit-Trail:
>Unformatted: