#include "ultra64.h"
#include "os_bb.h"
#include "bcp.h"
#include "bbskapi.h"

#include "lock.h"

/*
 * Thread and stack structures
 */
char   bootStack[STACKSIZE] __attribute__ ((aligned (8)));


void
boot(void)
{
    osBbPowerOff();
}