Re:From L3 to seL4 what have we learnt in 20 years of L4 mic...
by mike_hearn on Monday April 15, 2024 @04:32PM
(#40045212)
On Linux it's more about what can be done. Agree that server users don't care about microkernels.
Honestly I feel that Linux server users are performance freaks and will kill for 0.1% performance. So it's very unlikely that they'll trade anything for it. They don't need stability, they'll just recreate server if necessary. They need absolute minimum of security (otherwise they would use VMs instead of containers).