TOS is an assembly language-based operating system kernel that is written with strict and static typing.
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.
Version 0.0.0.2: N/A