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 ...

The paper, entitled ‘Novel memory-efficient computer architecture integration in RISC-V with CXL’ reported that this demonstration device had achieved an acceleration factor of 16 to 128 times ...