/*---------------------------------------------------------------------*
        Copyright (C) 1998 Nintendo. (Originated by SGI)
        
        $RCSfile: reboot.h,v $
        $Revision: 1.1.1.1 $
        $Date: 2002/05/02 03:27:20 $
 *---------------------------------------------------------------------*/
#define	STACKSIZE	0x2000

#define	BOOT1_PADDR	0x00080000

#define	BOOT1_VADDR	0x10000000