Currently the reincarnation server, the process server, and the microkernel are part of the trusted computing base.
V současné době reinkarnační server, proces server a mikrokernel jsou součástí "trusted computing base".