det er beskrevet i detaljer her:
ftp://ftp.research.microsoft.com/pub/tr/TR-2005-135.pdfCode in Singularity is either verified or trusted. Verified code’s type and memory safety is
checked by a compiler. Unverifiable code must be trusted by the system and is limited to the
hardware abstraction layer (HAL), kernel, and parts of the run-time system. Most of the kernel is
verifiably safe, but portions are written in assembler, C++, and unsafe C#.
Hvilket betyder at der er en lille bitte kerne i unmanaged kode og så resten
i managed kode.
Hvis Windows var lavet på samme måde så ville det sige at måske ntoskrnl.exe
og kernel32.dll var unmanaged og de resterende megabyte efter megabyte af
alt muligt var managed kode.