Moderne Systeme die Capabilities einsetzen sind Barrelfish und seL4. Ich hab davon zwar eher wenig Ahnung, aber meine erste Idee wäre das ähnlich wie Dateihandles in POSIX umzusetzen. Der Kernel kennt die Menge der Capabilities für einen Prozess ähnlich wie er die Menge der offenen Dateien kennt. Ein Prozess verwendet Capabilities also wie Integers (d.h. es gibt keinen speziellen Hardwaresupport für Capabilities), und ruft darauf über einen Kernelaufruf eine Operation auf. Die Capabilities haben Typen wie z.B. IPC-Kanal(-Endpoints?), physische/virtuelle Speicherseite (Shared Memory), ... und Operationen wären dann einmal Umwandlung zwischen den Typen, versenden der Capabilities zwischen den Prozessen, und Typ-spezifische Operationen. Wie gesagt alles nur meine Interpretation. Keine Ahnung, ob die Realität auch so sieht