int main( void )
{
bsp_gpio_init();
bsp_temp_init();
bsp_serial_init(NULL);
while (1) {
LED_Toggle();
delay_ms(100);
printf("chip temperature : %.2f degC\r\n", TEMP_GetTemperature());
}
}
void __init bsp_setup(void)
{
/* define io/mem region */
ioport_resource.start = 0x18000000;
ioport_resource.end = 0x1fffffff;
iomem_resource.start = 0x18000000;
iomem_resource.end = 0x1fffffff;
/* set reset vectors */
_machine_restart = bsp_machine_restart;
_machine_halt = bsp_machine_halt;
pm_power_off = bsp_machine_power_off;
/* initialize uart */
bsp_serial_init();
_imem_dmem_init();
}
