If i didn't misunderstood the function of 'Signal_dispatcher' it should
be provided through a separate header. This is because 'base-hw'
implements the basics of 'base/signal.h' (Signal, Signal_receiver,
Signal_context, Signal_transmitter) by itself, to optimize the code via
specific kernel-mechanisms. But there seems to be no need to add a
specific implementation of 'Signal_dispatcher' because it only .

Am i right?

------------------------------------------------------------------------------
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. ON SALE this month only -- learn more at:
http://p.sf.net/sfu/learnnow-d2d
_______________________________________________
Genode-main mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/genode-main

Reply via email to