4e3be6b146
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. |
||
|---|---|---|
| .. | ||
| config | ||
| doc | ||
| etc | ||
| include | ||
| lib/mk | ||
| mk | ||
| patches | ||
| run | ||
| src | ||
| Makefile | ||
| README | ||
README
This repository contains the L4ka::Pistachio-specific implementation of Genode. Please see the documentation at 'base-pistachio/doc/pistachio.txt' for further instructions on building and using Genode on the L4ka::Pistachio kernel.