Alexander Boettcher 801d09f166 nova: revoke set portal id right ... Revoke the right to set the portal id (aka label) when it is not needed anymore. Otherwise everybody in the system having a mapping of the portal can reset the label to something we don't expect. Issue #667		2013-02-25 16:45:50 +01:00
..
console	Update copyright headers to 2013	2013-01-10 21:44:47 +01:00
env	nova: fix lock guard usage in cap selector	2013-02-11 12:11:48 +01:00
ipc	nova: map write_combined ds as dma able	2013-02-21 11:52:02 +01:00
lock	Update copyright headers to 2013	2013-01-10 21:44:47 +01:00
pager	nova: revoke set portal id right	2013-02-25 16:45:50 +01:00
server	nova: fix cleanup handling in server object	2013-02-11 12:01:26 +01:00
thread	nova: set default receive and translate windows	2013-02-21 11:52:02 +01:00