genodelabs/genode — pull request #489 by myrkr (2012-11-14 11:51:20+00:00)
Title: base: Fix a number of warnings about unused parameters

The warnings are shown if components using the genode base are
compiled with -Wextra -Wall enabled.