genodelabs/genode — Issue #4: NOVA: check pt_sel on invokation (was mantis id 34)
Author: nfeske
Created: 2011-12-20 08:41:47+00:00
State: open

Right now, a server does only use the capability's unique ID to look up the server object. We should compare the unique ID to the pt_sel reported for the invokation.