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;
}