opensbi/platform/common/irqchip
..
objects.mk
plic.c