running demo scenario over sel4

Norman Feske norman.feske at ...1...
Thu Mar 10 13:54:25 CET 2016


as a minor addition to Stefan's posting, I would recommend you to take
the base/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/ (that showcases a simple client-server
scenario) if you remove the dependency from the timer driver from the
code and the run script.


Dr.-Ing. Norman Feske
Genode Labs ·

Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden
Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth

More information about the users mailing list