mirror of
https://github.com/genodelabs/genode.git
synced 2025-02-01 00:45:29 +00:00
a168c9d6ce
The global capability ID counter is not used by NOVA and Fiasco.OC and in the future not needed by base-hw too. Thereby, remove the static counter variable from the generic code base and add it where appropriated. Ref #1443
This directory contains all source codes.