Hi Yuri,
this tutorial is meant to be used with Linux as base platform because Linux is by far the easiest platform for getting started with Genode.
We should clarify that in the document. Thanks for pointing this out!
Depending on the base platform you use, the way of integration, configuration, and booting differs a lot. With the 'run' mechanism, we started to streamline this process among the different platforms. The upcoming release will take another step in this direction. However, I expect that you will still need to understand how binaries are booted with the kernel of your choice. To see how 'run' works for the platform you are using, the 'base-<platform>/run/env' file will be insightful.
Cheers Norman
On 05/25/2011 04:17 PM, yk_systel@...73... wrote:
Hi,
I would like to get working example from "hello_tutorial". Building demo or l4linux leads to making .iso file and next running it from QEMU. But, in case of hello sample (according to "Creating your first Genode Application" manual) we should "... go to build/bin, run ./core, and get excited". I have tried to play with demo and l4linux configs but it doesn't help.
Have I missing something or this manual is out of date?
Thanks, Yuri Kozyaev