base-hw rpi: compiling UART driver fails

When I try to compile the genode UART driver for the raspberry pi, I get the following output:

Program drivers/uart/pl011/uart_drv COMPILE main.o /home/kingtux/Downloads/genode-master/repos/os/src/drivers/uart/pl011/main.cc:17:24: fatal error: pl011_defs.h: No such file or directory compilation terminated. /home/kingtux/Downloads/genode-master/repos/base/mk/generic.mk:56: recipe for target 'main.o' failed make[2]: *** [main.o] Error 1 var/libdeps:1771: recipe for target 'uart_drv.prg' failed make[1]: *** [uart_drv.prg] Error 2 Makefile:209: recipe for target 'gen_deps_and_build_targets' failed make: *** [gen_deps_and_build_targets] Error 2

Can anyone fix this or help me understand what's going on?