genodelabs/genode — pull request #657 by myrkr (2013-02-21 15:16:11+00:00)
Title: Fixed some unused parameters warnings

They cause problems when using -Werror in your compilation.