Keywords: Mikrojedrni operacijski sistemi, hibridni sistemi, monolitni sistemi, Liedtke, L4, seL4, Mach, MinixFull text (file, 1,58 MB)