Example #1
0
void platform_init() {

	sunxi_uart_init(BOOT_CON);

	for(int i = 0; i < 8; i++) {
		*(uint32_t *)(i) = interrupt_vector_table[i];
	}
}
Example #2
0
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 ;
}