int main(int i, char **c)
{
char buffer[64];
/* lock gdbstub ROM */
CSR_DBG_CTRL = DBG_CTRL_GDB_ROM_LOCK;
/* enable bus errors */
CSR_DBG_CTRL = DBG_CTRL_BUS_ERR_EN;
CSR_GPIO_OUT = GPIO_LED1;
rescue = !((unsigned int)main > FLASH_OFFSET_REGULAR_BIOS);
uart_force_sync(1);
uart_write('E');
irq_setmask(0);
irq_enable(0);
uart_init();
uart_write('F');
while(1)
{
asm volatile("nop");
}
return 0;
}