void platform_init() { sunxi_uart_init(BOOT_CON); for(int i = 0; i < 8; i++) { *(uint32_t *)(i) = interrupt_vector_table[i]; } }
void platform_init(void) { /* * GIC configuration is initialized in Secure bootloader, * Initialize GIC base address here for debugging. */ gic_init_base_addr(GIC_BASE + GICC_OFFSET, GIC_BASE + GICD_OFFSET); /* platform smp initialize */ platform_smp_init(); /* enable non-secure access cci-400 registers */ write32(0x1, CCI400_BASE + CCI400_SECURE_ACCESS_REG); /* Initialize uart with physical address */ sunxi_uart_init(UART0_BASE); return ; }