21 Nov
2014
21 Nov
'14
6:44 a.m.
$ ./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