It is a commercial clone of L4 microkernel family.
これはL4マイクロカーネルファミリーの商業版である。