#include <regdef.h>
#include <asm.h>
#include <PR/R4300.h>

#include <PR/bcp.h>
#include "boot.h"

.text
.align 2
.set    noreorder

        # indicate where we are
	TRACE_VAL(0xec01)

        # simulator shutdown if running in simulator
	HALT_SIM

	# infinite loop - power will go off in a few 100ms
1:	
	bgez	zero, 1b
	nop