See also: https://genode.org/ https://genode.org/ Also, in addition to isolation and https://en.wikipedia.org/wiki/Capability-based_security https://en.wikiped

See also: https://genode.org/ https://genode.org/ Also, in addition to isolation and https://en.wikipedia.org/wiki/Capability-based_security https://en.wikipedia.org/wiki/Capability-based_security between processes, capability security within processes, see languages like E (https://web.archive.org/web/20260506035108/https://erights.org/ https://web.archive.org/web/20260506035108/https://erights.o...) or Monte (https://monte.readthedocs.io/en/latest/index.html https://monte.readthedocs.io/en/latest/index.html)