Currently the reincarnation server, the file server, the process server, and the microkernel are part of the trusted computing base.
В настоящее время сервер реинкарнации, файловый сервер, сервер процессов и микроядра являются частью доверенной вычислительной базы.