srcs-$(WITH_UART_DRV) += uart.c
srcs-$(WITH_GIC_DRV) += gic.c