Исправление Zubok, 16.11.14 20:16 (текущая версия) :
L4 посмотри или GNU Mach.
Исходная версия Zubok, 16.11.14 20:13:
L4 посмотри или Mach.