Ejemplo n.º 1
0
void platform_early_init(void)
{
	/* Initialize board identifier data */
	board_init();

	/* Read boot config for identifying boot device */
	platform_read_boot_config();


	/* Initialize clock driver */
	platform_clock_init();

	/* Initialize interrupt controller */
	qgic_init();

	/* timer */
	qtimer_init();
}
void platform_early_init(void)
{
#if WITH_DEBUG_UART
	uart1_clock_init();
	uart_init();
#endif
	if(machine_is_8x25()) {
		qgic_init();
		target_uses_qgic = 1;
		debug_timer = (GIC_PPI_START + 2);
		gpt_timer = (GIC_PPI_START + 3);
		usb_hs_int = INT_USB_HS_GIC;
	} else {
		platform_init_interrupts();
		debug_timer = 8;
		gpt_timer = 7;
		usb_hs_int = INT_USB_HS_VIC;
	}
	platform_init_timer();
}
Ejemplo n.º 3
0
void platform_early_init(void)
{
    uart_init(target_uart_gsbi());
    qgic_init();
    platform_init_timer();
}
Ejemplo n.º 4
0
void platform_early_init(void)
{
	qgic_init();
	platform_init_timer();
}
void platform_early_init(void)
{
	qgic_init();
	qtimer_init();
}