3 ms·
This sounds like an exokernel design. What forces you to use the compiler that generates the trusted code to replace the MMU?
by plq 4y ago
This sounds like an exokernel design. What forces you to use the compiler that generates the trusted code to replace the MMU?
- verdagon 4y agoPerhaps instead of distributing program executables, we can distribute program intermediate representations and then lazily invoke the OS's trusted compiler to do the final translation to binary. Someone suggested a Vale-based OS along these lines, it was an interesting notion.
- fireant 4y agoWASM could be such an IR unironically https://github.com/nebulet/nebulet https://github.com/nebulet/nebulet. But I doubt that we would be gaining performance/efficiency this way.