DEVICES_PREFIX = devices
KOBJS += $(DEVICES_PREFIX)/pl011.o
KOBJS += $(DEVICES_PREFIX)/pl110.o
KOBJS += $(DEVICES_PREFIX)/pl111.o