de42f82691
Changes the way IO ports work such that instead of 'minting' IO port caps down into new IO port caps with smaller ranges new IO port ranges must be allocated centrally from an IO port control cap. This mechanism acts in a very similar fashion as IRQ handler/control capabilities and ensures that allocated IO ports do not overlap. Disallowing overlapping IO ports is necessary to ensure the CDT remains valid as capabilities are deleted. |
||
|---|---|---|
| .. | ||
| api | ||
| interfaces | ||
| sel4 | ||