NetBSD/sys/arch/shark/include/ipkdb.h

/*	$NetBSD: ipkdb.h,v 1.1 2002/02/10 01:57:22 thorpej Exp $	*/

#include <arm/ipkdb.h>
Kill arch/arm32. The last platform supported there, Shark, is now in arch/shark. (NOTE: arch/dnard, a premature move to split out the Shark support code, is going to be deleted. It has bit-rotted.) 2002-02-10 04:53:06 +03:00			`/* $NetBSD: ipkdb.h,v 1.1 2002/02/10 01:57:22 thorpej Exp $ */`

			`#include <arm/ipkdb.h>`