Title: Aspects of a capability based operating system