TOS 0.0.0.2

TOS is an experimental operating system kernel which is written in our strictly and statically typed assembly language, TALK. Today,

Developer:	Toshiyuki Maeda more software by author →
Price:	0.00
License:	GPL (GNU General Public License)
File size:	17K
Language:
OS:
Rating:	0 /5 (0 votes)
Your vote:
enlarge screenshot

TOS is an experimental operating system kernel which is written in our strictly and statically typed assembly language, TALK.

Today, computers (PCs, cell-phones, etc.) are widely used in the world and their network become one of the indispensable social infrastructures.

Therefore, the importance of ensuring safety of software is commonly-recognized and many programs come to be written in strongly-typed languages (Java, C#, Objective Caml). This is because the program that is written in a strongly-typed language and passes its type-check is ensured not to raise errors at runtime.

However, there is one kind of programs that are never written in typed-languages: Operating systems. For example, existing OSes (e.g., Linux, FreeBSD, Windows XP, Solaris, etc.) are written in C and assembly languages.

One of the reason that OSes were not written in typed-languages is that it is believed that OS facilities, such as memory management, multi-thread management and device drivers, cannot be written in the typed-languages.

To break the mistaken belief, we have developed a statically and strictly typed assembly language, called TALK, and implemented a prototype OS kernel, called TOS, in TALK.

So far, the functionality of TOS is very poor (no user programs, no file systems ...), but we plan to extend TOS to have the same facilities as existing OS kernels.

What's New in This Release:

Memory management code was rewritten.
tags

typed languages memory management strongly typed etc are assembly language typed assembly

Download TOS 0.0.0.2

http://web.yl.is.s.u-tokyo.ac.jp/~tosh/tos/tos/prototype/tos-0.0.0.2.tar.gz

Authors software

Kernel Mode Linux 2.6.19_001 (by Toshiyuki Maeda)
Kernel Mode Linux project is a technology which enables us to execute user programs in kernel mode

TOS 0.0.0.2 (by Toshiyuki Maeda)
TOS is an experimental operating system kernel which is written in our strictly and statically typed assembly language, TALK.

Today,

TALK 0.0.0.2 (by Toshiyuki Maeda)
TALK is a strictly and statically typed assembly language that is flexible and powerful enough to write operating system kernels.

Similar software

TOS 0.0.0.2 (by Toshiyuki Maeda)
TOS is an experimental operating system kernel which is written in our strictly and statically typed assembly language, TALK.

Today,

TALK 0.0.0.2 (by Toshiyuki Maeda)
TALK is a strictly and statically typed assembly language that is flexible and powerful enough to write operating system kernels.

drs-hash 1.0 (by Dan Stromberg)

Nemerle 0.9.3 (by Computer Science Institute)
Nemerle is a high-level statically-typed programming language for the .NET platform

Swish Workflow API/Engine 2005-12-21 (by Roxwood)
Swish is an open source web services-based workflow API/engine

Kernel Mode Linux 2.6.19_001 (by Toshiyuki Maeda)
Kernel Mode Linux project is a technology which enables us to execute user programs in kernel mode

Lush 1.2 (by Yann)
Lush project is an object-oriented programming language designed for researchers, experimenters, and engineers interested in large-sc

Simple Machine Language interpreter (by Daniel Sterling)
SML is a "toy" machine language intended to teach basic processor concepts

OMnAdren 0.7.3 (by Solaris (Fajek))
OMnAdren is a scripting language that resembles C.

Computer languages are created for varying purposes and tasks — different

Assembly Language Debugger 0.1.7 (by pa33)
The Assembly Language Debugger is a tool for debugging executable programs at the assembly level

Other software in this category

KernelDriver 5.22 (by omerz)
KernelDriver™ for Linux automates and simplifies the development of kernel mode Linux device drivers for PCI / CardBus / ISA / ISAPnP

uLan Driver 0.7 (by Pavel Pisa)
uLan provides 9-bit message oriented communication protocol, which is transferred over RS-485 link.

Characters are transferred sam

Linux Kernel 2.6.19.1 (by Kernel.Org Organization, Inc.)
Linux Kernel is the essential part of Linux, responsible for resource allocation, low-level hardware interfaces, security, simple com

Migshm 2.4.26-2 (by The Migshm team)
Migshm is a DSM patch for openMosix

Realtime Application Interface 3.4 (by RTAI Team)