I'm not sure why you're being downvoted. Store applications as byte code or source code and use a trusted JIT to generate machine code. With a system-wide garb

I'm not sure why you're being downvoted. Store applications as byte code or source code and use a trusted JIT to generate machine code. With a system-wide garbage collector and bounds checking you would have a memory safe single address space operating system.