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?
Hi Robert,
On 03/09/2016 02:58 PM, Robert Behar wrote:
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.
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
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 genode-main@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/genode-main
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
-
Norman Feske -
Robert Behar -
Stefan Kalkowski