Return to Article Details Optimizing Memory Usage in L4-Based Microkernel Download Download PDF