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.