IPC calls under L4 on a 486DX-50 take only 5μs, faster than a UNIX syscall on the same system, and over 20 times as fast as Mach.
IPC вызов на L4 на 486DX-50 занимает только 5 микросекунд — быстрее, чем Unix вызов на этой же системе, и в 20 раз быстрее, чем Mach.