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 -- Dr.-Ing. Norman Feske Genode Labs http://www.genode-labs.com · http://genode.org Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth ------------------------------------------------------------------------------ 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
