L4, мікраядро