1*d7aeef8dSPascal Brandsrcs-$(WITH_UART_DRV) += uart.c 2*d7aeef8dSPascal Brandsrcs-$(WITH_GIC_DRV) += gic.c 3