Projects / TOS


TOS is an operating system kernel that is written in a strictly and statically typed assembly language. Traditional operating system kernels are written in weakly-typed languages (e.g. C, C++). Therefore, it is extremely hard to ensure safety of the kernels. On the other hand, memory safety and control-flow safety of TOS can be ensured automatically through the type check of the language.


Recent releases

  •  26 Oct 2005 22:15

    No changes have been submitted for this release.


    Project Spotlight


    A Fluent OpenStack client API for Java.


    Project Spotlight

    TurnKey TWiki Appliance

    A TWiki appliance that is easy to use and lightweight.