genodelabs/genode — pull request #1279 by ValiValpas (2014-10-27 16:36:50+00:00)
Title: init: fix priority partitioning

Without masking the bits above Cpu_session::PRIORITY_LIMIT, a child
could open a CPU session with a priority outside its assigned range.