genodelabs/genode — pull request #293 by alex-ab (2012-07-20 08:06:44+00:00)
Title: NOVA: triple patch series

Please apply following 3 Patches

* upgrade kernel revision to version fixing in-side kernel faults
* 32/64 bit syscall mask issue in syscall bindings
* compiler warning fixes

Alex