Download Shareware and Freeware Software for Windows, Linux, Macintosh, PDA

line Home  |  About Us  |  Link To Us  |  FAQ  |  Contact

Serving Software Downloads in 976 Categories, Downloaded 30.126.103 Times

TOS 0.0.0.2

  Date Added: March 09, 2010  |  Visits: 576

TOS

Report Broken Link
Printer Friendly Version


Product Homepage
Download (71 downloads)

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. Whats New in This Release: - Memory management code was rewritten..

Requirements: No special requirements
Platforms: Linux
Keyword: Assembly Kernel Kernels Operating System Operating System Kernel Statically Statically Typed Strictly System Kernel Talk Tos Typed Written Written In
Users rating: 0/10

License: Freeware Size: 17.41 KB
TOS RELATED
File Synchronizers  -  Fast Secure File System 0.1.1
Fast Secure File System exports existing directories securely over the network, letting users store and retrieve encrypted data in a scalable and transparent way. FSFS is written in C and works on GNU/Linux systems on x86 and PPC architectures,...
 
Utilities  -  Shell SYStem Monitor 0.2.4.3
Shell SYStem Monitor a basic console ncurses application for system monitoring. Shell SYStem Monitor will show things like CPU load, memory load, uptime, Ethernet load (bandwidth usage in KB/s), server time, and more. Install code: # cd...
13.31 KB  
Utilities  -  Gnome System Monitor 2.18.2/2.19.4
Gnome System Monitor is a GNOME process viewer and system monitor with a nice easy-to-use interface. Gnome System Monitor has some nice features, such as a tree view for process dependencies, icons for processes, the ability to hide processes...
2 MB  
Video Editors  -  LcCCD14 0.1.0
LcCCD14 is a hardware module for operating the OES LcCCD14 astronomical camera on Linux systems with kernel 2.0.X. At the time of writing only systems with kernel 2.0.x are supported (the authors machine has 2.0.36), so you shouldnt expect it to...
30.72 KB  
Utilities  -  Grafpup 2.00
Grafpup Linux is a desktop Linux operating system based closely on Puppy Linux. Grafpups goal is to be as useful to graphic designers and other imaging professionals as possible while still remaining extremely small and fast. How small? Grafpup...
106 MB  
Utilities  -  MenuetOS 0.96M
MenuetOS is an Operating System in development for the PC written entirely in 32/64 bit assembly language. Menuet64 is released under License and Menuet32 under GPL. Menuet supports 32/64 bit x86 assembly programming for smaller, faster and less...
645.12 KB  
Utilities  -  Openwall Linux kernel patch 2.4.35-ow2
Openwall Linux kernel patch is a collection of security-related features for the Linux kernel, all configurable via the new Security options configuration section. In addition to the new features, some versions of the patch contain various...
34.82 KB  
Utilities  -  Babel Enterprise 1.0.0
Babel Enterprise is an audit tool, focused on evaluating Operating System base security. Babel Enterprise evaluate the security level, or hardening, from a wide range of Operating Systems. Babel Enterprise run several audit probes and checks to...
102.4 KB  
Utilities  -  JNode 0.2.4
JNode is a simple to use and install Java operating system for personal use. It runs on modern devices. Any java application will run on it, fast & secure! JNode is open source and uses the LGPL license. This release has taken way too much...
92 MB  
Networking Tools  -  patch-o-matic-ng 20040621
patch-o-matic-ng it is a system to apply netfilter-related patches to the latest kernel and/or iptables sources. FOLLOW THESE STEPS: 0) There may be some outstanding bugfixes or tweaks which are not yet in the official kernel. To look through...
368.64 KB  
NEW DOWNLOADS IN LINUX SOFTWARE, UTILITIES
Linux Software  -  Polling Autodialer Software 3.4
ICTBroadcast Auto Dialer software has a survey campaign for telephone surveys and polls. This auto dialer software automatically dials a list of numbers and asks them a set of questions that they can respond to, by using their telephone keypad....
488 B  
Linux Software  -  Total Video Converter Mac Free 3.5.5
Total Video Converter Mac Free developed by EffectMatrix Ltd is the official legal version of Total Video Converter which was a globally recognized brand since 2006. Total Video Converter Mac Free is a free but powerful all-in-one video...
17.7 MB  
Linux Software  -  Skeith mod_log_sql Analyzer 2.10beta2
Skeith is a php based front end for analyzing logs for Apache using mod_log_sql.
47.5 KB  
Linux Software  -  SLAX 6.0+
Slax is a modern, portable, small and fast Linux operating system with a modular approach and outstanding design. Despite its small size, Slax provides a wide collection of pre-installed software for daily use, including a well organized graphical...
190 KB  
Linux Software  -  GTK+ 2.5
GTK+, which stands for the GIMP Toolkit, is a library for creating graphical user interfaces for the X Window System. It is designed to be small, efficient, and flexible. GTK+ is written in C with a very object-oriented approach. Language bindings...
60 MB  
Utilities  -  LPAR2RRD 4.95-4
LPAR2RRD collects performance data and generates actual, historical and future trends utilization graphs of your virtual environment. It is agentless (it receives everything from the management stations like vCenter or HMC). The product supports...
2.25 MB  
Utilities  -  Nessconnect 1.0.2
Nessconnect is a GUI, CLI and API client for Nessus and Nessus compatible servers. With an improved user interface, it provides local session management, scan templates, report generation through XSLT, charts and graphs, and vulnerability trending.
819.2 KB  
Utilities  -  Dynamic Power Management 2.6.16
The Dynamic Power Management (DPM) project explores technologies to improve power conservation capabilities of platforms based on open source software. Of particular interest are techniques applicable to running systems, adjusting power parameters...
30.72 KB  
Utilities  -  Ethernet bridge tables 2.4.37.9
Ethernet bridge tables - Linux Ethernet filter for the Linux bridge. The 2.4-ebtables-brnf package contains the ebtables+bridge-nf patch. Be sure to check out the ebtables hp. This site also contains the arptables userspace tool.
40.96 KB  
Utilities  -  SaraB 1.0.0
SaraB works with DAR (Disk ARchive) to schedule and rotate backups on random-access media (i.e. hard drives, CDs, DVDs, Zip, etc. Basically anything except magnetic tapes.) This reduces hassle for the administrator by providing an automatic backup...
20.48 KB