This technical report describes internal structure and mechanisms of the T4 microkernel and its nearest operating system layers.
