7 ms·
Can anybody here do a qualitative comparison of the redox kernel and L4 (particularly SeL4)? I'd love to see how well some of the modern microkernels perform, b
by darksaints 6y ago
Can anybody here do a qualitative comparison of the redox kernel and L4 (particularly SeL4)? I'd love to see how well some of the modern microkernels perform, but I think more importantly, how do they differ and what capabilities should we care about?
As a side question, how does kernel bypass networking work with a microkernel?
- jclulow 6y agoBypass networking is generally more akin to how device drivers in microkernels work: a core trusted set of functionality that needs to be in the kernel is (e.g., programming the MMU or I/O MMU, scheduling) and all the device control and network stack stuff is in some process or task outside.