The end goal is to provide user-space memory isolation on CHERI-enabled hardware, where I won't need the RISC-V VM/sandbox any more. Anything as long as I can run on a flat address space and not have to waste countless CPU cycles swapping out page tables every message send. I admit my knowledge of CHERI is superficial and have not spent too much time reading the specs until I can play with off-the-shelf CPUs that support it.
Singularity/Midori from MS Research have a lot of good ideas but I feel we don't completely have to compromise forcing a managed environment or language in userspace. I want to run native binaries in this platform, which of course would look a bit different than one is used to (no _entry, no dedicated stack, just a message handler that's called directly by the scheduler, no concept of syscall, just sending messages to a capability)
Singularity/Midori from MS Research have a lot of good ideas but I feel we don't completely have to compromise forcing a managed environment or language in userspace. I want to run native binaries in this platform, which of course would look a bit different than one is used to (no _entry, no dedicated stack, just a message handler that's called directly by the scheduler, no concept of syscall, just sending messages to a capability)