/* $NetBSD: bootinfo.h,v 1.7 2002/02/11 17:30:44 uch Exp $ */
#include <hpc/include/bootinfo.h>
/* hpcsh specific goo */
#include <machine/console.h>