|
|
|
|
|
by tptacek
2874 days ago
|
|
Right, but L4 isn't even an operating system; it's an OS fabric, on which OS personalities are built. Nobody doubts you can build a microkernel architecture where filesystems and VPNs are equivalently performant in userland and the kernel, but nobody has managed to do that for a mainstream OS. It's telling that xnu started out on Mach with a FreeBSD "personality", and grew into another shaggy monolith. The L4 in your baseband or your enclave is not running anything resembling a general purpose operating system. So I guess my argument is: sure, you could design and build VPNOS, the OS where VPNs are fast and never need to touch the kernel. But nobody wants that OS. |
|