The L4 microkernel family (mainly the L3 and the L4 kernel) was created to demonstrate that microkernels are not necessarily slow.
خانواده میکروکرنل L4 (در اصل هستهL3 و L4) بدین منظور ساخته شدند تا نشان داده شود که میکروکرنل لزوماً کند نیستند.