running demo scenario over sel4

[Robert Behar]

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?

[Stefan Kalkowski]

Hi Robert,

Post by Robert Behar
I'm interested in using genode over sel4 and have been having difficulties
with building and running the demo scenario

The demo scenario cannot be executed on top of sel4 yet. In our recent
release notes (16.02), where the upgrade to sel4 version 2.1 gets
described, you can find the following paragraph at the end:

"Functionality-wise the update to version 2.1 brings no changes. The
preliminary support is still limited to Genode's most fundamental
mechanisms like the bootstrapping, the creation of protection domains,
the execution of threads, and inter-component communication. User-level
device drivers are not supported yet. Such functional improvements are
scheduled for Genode 16.08."

Due to the lack of user-level device driver support until now, you
cannot start the demo scenario.

Post by Robert Behar
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

That is completely right! Doing 'make prepare' is deprecated since
before the initial port of Genode to sel4. Please use the "prepare_port"
tool for all 3rd party software preparation in Genode's source tree.

Regards
Stefan

Post by Robert Behar
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?
------------------------------------------------------------------------------
Transform Data into Opportunity.
Accelerate data analysis in your applications with
Intel Data Analytics Acceleration Library.
Click to learn more.
http://pubads.g.doubleclick.net/gampad/clk?id=278785111&iu=/4140
_______________________________________________
genode-main mailing list
https://lists.sourceforge.net/lists/listinfo/genode-main

[Norman Feske]

Hello,

as a minor addition to Stefan's posting, I would recommend you to take
the base/run/printf.run script as a starting point for experimenting
with Genode on seL4. It relies on the mentioned basic mechanisms but
does not depend on user-level device drivers. Another example may be
hello_tutorial/run/hello.run (that showcases a simple client-server
scenario) if you remove the dependency from the timer driver from the
code and the run script.

Cheers
Norman