void kernel_main(void) { uart_init(); init_printf(0, putc); irq_vector_init(); timer_init(); enable_interrupt_controller(); enable_irq(); while (1){ uart_send(uart_recv()); } }
int prepare_and_enable_irq() { int status; status = initialize_interrupt_controller(); if (status != XST_SUCCESS) { xil_printf("Error %d while initializing the interrupt controller\n", status); return XST_FAILURE; } status = connect_irqs(); if (status != XST_SUCCESS) { xil_printf("Error %d while connecting the irqs\n", status); return XST_FAILURE; } enable_interrupt_controller(); return XST_SUCCESS; }