void* main(void)
{
#ifdef TCCBOOT
    int rc;
    unsigned char* loadbuffer = (unsigned char*)LOAD_ADDRESS;
#endif

    // LCD uses PORTA, so there's lots of pins to check
    uint32_t*	gpio_a = (uint32_t*)0x80003000;

    // Set b for output
    *(gpio_a + 0x4)	= 0xFFFFFFFF; //0x1 << 18;

    while (1)
    {
    	*(gpio_a) = 0xFFFFFFFF; //0x1 << 18;
    }