For example, while not a capability system itself, the insight that made the MIT CAR performant despite its typed memory is an example of the first style; and the fastest kernel today, seL4 ...