Some articles on sourcet:

Secure64 Software - Technology - SourceT Micro OS
... The SourceT Micro OS executes on standard Itanium server hardware, and provides the foundation for Secure64 software applications ... Secure64 uses the term "micro OS" to describe SourceT, because, although it shares attributes of traditional microkernels and monolithic kernels, it is does not fit the classical definition ... Like microkernels, SourceT adheres to the principles that minimal code should execute in kernel mode (currently less than 4,000 lines of code in SourceT), and that all applications and ...