The architecture of a capability-based microprocessor system