3 Commits

Author	SHA1	Message	Date
Norman Feske	4e3be6b146	Pistachio: make sure to generate global thread IDs ... The kernel distinguishes local from global IDs by looking at the lowest 6 bits of the thread ID (i.e., in 'L4_ThreadControl'). If those bits are zero, the ID is interpreted as a local ID. Because those zero bits overlap with the version bits of global IDs, this invariant could be violated once the version of a global ID reaches 64. In this case, 'L4_ThreadControl' will return an error on the attempt to create a new PD. To prevent this from happening, we always set the lowest bit to 1.	2012-02-25 14:40:49 +01:00
Norman Feske	08ce32215d	Bump year in copyright headers to 2012	2012-01-03 15:35:05 +01:00
Genode Labs	da4e1feaa5	Imported Genode release 11.11	2011-12-22 16:19:25 +01:00