> For the same application, Apple uses L4 Well, I don't know what they're doing applications-wise, but there's a seL4 port for RISC-V. Nothing seems to really

> For the same application, Apple uses L4 Well, I don't know what they're doing applications-wise, but there's a seL4 port for RISC-V. Nothing seems to really be stopping anyone from putting enclave applications on seL4 in a RISC-V processor.