Projects / TOS

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.

Tags

Recent releases

  •  26 Oct 2005 22:15

    No changes have been submitted for this release.

    Screenshot

    Project Spotlight

    OpenStack4j

    A Fluent OpenStack client API for Java.

    Screenshot

    Project Spotlight

    TurnKey TWiki Appliance

    A TWiki appliance that is easy to use and lightweight.