Subject: port-arm32/9671: Cannot configure SHARK kernel
To: None <>
From: Lennart Augustsson <>
List: netbsd-bugs
Date: 03/24/2000 06:06:04
>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
>Originator:     Lennart Augustsson
Department of Computing Science, Chalmers University
>Release:        NetBSD-current 2000-03-24
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

	Configuration of the SHARK kernel fails.
	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.

	Don't ask me.