|
From: Robert B. <rob...@gm...> - 2016-03-09 13:58:32
|
I'm interested in using genode over sel4 and have been having difficulties with building and running the demo scenario I am running ubuntu 15 over virtual box first I pulled the full main branch from the repository. I then compiled the tool chain for x86 by running ./tool/tool_chain x86 then i created a build directory like so ./tool/create_builddir sel4_x86_32 BUILD_DIR=build.sel4 so far success. then I wanted to prepare the ./repos/base-sel4 directory with a make -C ./repos/base-sel4 prepare but alas no Makefile was there! after digging a bit and reading through ./repos/base-nove/Makefile I decided to run ./tool/ports/prepare_port sel4 which worked. now with sel4 prepared i went back to trying to run make -C ./build.sel4 run/demo this failed it said it was missing a timer component! I suspect this has something to do with ./repos/os/src/drivers/timer/spec not having a folder for sel4. am I missing something? |