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?