TOS

TOS is an OS kernel that has been developed using TALK, which is a strictly and statically typed assembly language. The importance of ensuring software safety has become increasingly crucial due to the widespread use of computers and networks. Consequently, many programs are now written in strongly-typed languages to ensure that they don't cause errors at runtime.

Despite this trend, operating systems have not been written in typed-languages. Existing OSes like Linux, FreeBSD, Windows XP, and Solaris are primarily written in C and assembly languages. One reason for this is the belief that facilities such as memory management, multi-thread management, and device drivers cannot be written in typed-languages.

To challenge this belief, the developers of TOS have created TALK, a statically and strictly typed assembly language, and implemented a prototype of TOS in TALK. Although the current version of TOS doesn't offer many features, the plan is to expand its capabilities to match those of established OS kernels.

This latest release of TOS includes a significant update to the memory management code, which has been rewritten to improve its functionality. As a result, users can expect better performance and more efficient use of system resources.