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?