An extension of Software Fault Isolation (SFI) which supports multiple isolation domains
Primary LanguageTeX