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);
    irq_setmask(0);
    irq_enable(0);
    uart_init();
    uart_write('E');
    while(1)
    {
        asm volatile("nop");
    }
    return 0;
}