Before it works, I had to add these lines:
<service name="RM"/>
<service name="CPU"/>
<service name="IO_PORT"/>
<service name="IRQ"/>
inside <parent-provides> section of hello.run.
I would have tought however that:
<default-route>
<any-service> <parent/> <any-child/> </any-service>
</default-route>
would have made it optional, which was not.
------------------------------------------------------------------------------
Master Visual Studio, SharePoint, SQL, ASP.NET, C# 2012, HTML5, CSS,
MVC, Windows 8 Apps, JavaScript and much more. Keep your skills current
with LearnDevNow - 3,200 step-by-step video tutorials by Microsoft
MVPs and experts. SALE $99.99 this month only -- learn more at:
http://p.sf.net/sfu/learnmore_122412
_______________________________________________
Genode-main mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/genode-main
