rpi_hw build failure

Tim Newsham tim.newsham at ...9...
Fri Nov 21 06:44:26 CET 2014


$ ./tool/create_builddir hw_rpi BUILD_DIR=`pwd`/rpi
$  cd rpi
$ make

[...]
/tmp/genode/genode-14.08/repos/os/src/drivers/uart/pl011/main.cc:17:24:
fatal error: pl011_defs.h: No such file or directory
compilation terminated.
make[2]: *** [main.o] Error 1
make[1]: *** [uart_drv.prg] Error 2
make: *** [gen_deps_and_build_targets] Error 2


-- 
Tim Newsham | www.thenewsh.com/~newsham | @newshtwit | thenewsh.blogspot.com




More information about the users mailing list