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
