Second generation microkernel

From Free net encyclopedia