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