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 29.978.570 Times

RMoX 0.1.3

  Date Added: August 26, 2010  |  Visits: 466

RMoX

Report Broken Link
Printer Friendly Version


Product Homepage
Download (72 downloads)

RMoX is an experimental/research occam-pi/CSP based operating-system for (currently) Pentium based PCs. CSP provides a solid foundation for describing and reasoning about parallel systems and their interactions. The occam-pi language is an enhanced version of occam (based on CSP), that adds ideas from the pi-calculus to provide a dynamic and flexible environment for building such concurrent systems. Traditional occam was designed for Transputers (as developed by Inmos Ltd. and later SGS Thompson, now ST Microelectronics), which had a very finite memory, and no provision for features such as virtual memory (although the T9000 did provide a limited form of fault/memory protection). Transputers were primarily targetted at embedded-systems and therefore the use of such features would have been limited (especially considering the silicon cost). The use of occam on modern computing systems has motivated substantial language development -- both at the language level and in the capabilities of the run-time system. As a result, occam-pi now provides support for facilities such as: data, channel and process mobility; multi-level process priority; extended synchronisation; and numerous others. Whilst occam-pi is sufficient to develop many components of an operating-system, some of the more architecture-specific low-level operations remain tricky (and perhaps not best done in occam-pi). RMoX contains various "base-layers", one is selected depending on how you wish to use RMoX (e.g. user-mode in the host OS, or standalone). Any hardware interaction is performed either by RMoXs device-drivers or the "base-layer". The base-layer provides an abstract interface to the hardware and can be changed depending on the desired use of RMoX. The main functions of the base-layer are to provide the bootstrap, discovery and initialisation of certain hardware (e.g. the MMU), access to physical memory, interrupts and IO/memory-mapped devices. The various base-layers are: Minlinux base-layer: this is a stripped-down version of the Linux kernel (2.4 series) that essentially replaces the traditional "init" task with the RMoX system. This replaces the Flux OSKit used previously. Linux26 base-layer: this is a minimal configuration and wrappers for Linux 2.6, that loads the RMoX system as a module when booted (unconditionally transferring control to it). This approach is slightly cleaner than the minlinux base-layer as it does not require any modifications to the Linux 2.6 kernel tree. Raw base-layer: this is an experimental base-layer written in assembler that performs basic initialisation before transferring control to RMoX. User-mode base-layer: this provides a hardware abstraction for running RMoX in an existing Linux system as a normal user-mode application. This approach is particularly useful for debugging. The run-time KRoC/CCSP kernel provides the scheduling and communication routines for occam-pi processes. This is essentially the same run-time kernel as used in KRoC/Linux, called CCSP. The version of CCSP currently in use is from pre-releases of the next KRoC/Linux version (1.4.0). Although the RMoX and "normal" versions of CCSP are built from the same source tree, what actually gets compiled is quite different (if RMoX is being built for non-user-mode; user-mode RMoX will get the standard KRoC run-time system). Eventually we may do away with the Linux flavoured base-layers entirely, using the more specialised "raw" base-layer instead (largely in the interests of keeping the resulting system small). However, using a Linux base-layer makes much easier the task of machine startup -- in particular dealing with any hardware anomalies that the Linux community has already catered for (typically laptop computers). Another future possibility is a low-level infrastructure that sits on top of Xen, allowing RMoX to be run alongside other Xen-ported systems (primarily Linux, Windows-XP and Plan9).. RMoX: an occam-pi operating-system [main]

Requirements: No special requirements
Platforms: Linux
Keyword: Based Ccsp Csp Currently Kernels Kroc Linux Occam-pi Pcs Provides Rmox System
Users rating: 0/10

License: Freeware Size: 225.28 KB
RMOX RELATED
Utilities  -  Tcl Inotify 1.4
Inotify is a Linux kernel subsystem that provides file system event notifications. It was written by John McCutchan with help from Robert Love and later Amy Griffis to replace dnotify. It was included in the mainline kernel from release 2.6.13,...
286.72 KB  
Utilities  -  KShaper 0.2.1
KShaper is a graphical based traffic shaper application made for Linux desktops.It uses iproute2 with an virtual intermediate device and is written in the programming language QT/C++.For now on KShaper is based on HTB qdiscs,this may change in the...
61.44 KB  
Libraries  -  Linux QoS Library 0.8.0
The Linux QoS Library (LQL) provides a GPL licensed, GObject based C API to manipulate the network queueing disciplines, classes and classifiers in the Linux kernel. LQL does not use the TC command as a back-end. Instead, LQL communicates with...
460.8 KB  
Utilities  -  Arudius Linux LiveCD 0.5
Arudius is a live CD Linux distribution based on Minislack (Zenwalk) and Slaxs Linux Live scripts. It contains an extensive set of software tools used by IT security professionals for penetration testing and vulnerability analysis. Its goal is...
206 MB  
Utilities  -  Kharon Firewall 0.2
Kharon Firewall is a shell script based on Iptables and written for Linux 2.4.x and 2.6.x.It can be used for a personnal or a professionnal usage and fully commented on in french.
20.48 KB  
Utilities  -  Laptop Configuration for Ubuntu Linux 0.3
The Laptop Configuration for Ubuntu Linux project attempts to ease configuration of laptop hardware under one of the most popular Linux desktop distributions currently available, Ubuntu Linux. By automating the configuration steps required to...
30.72 KB  
Utilities  -  dkbd 0.1
dkbd is a virtual keyboard based on nano-X for embedded Linux devices.
92.16 KB  
Networking Tools  -  Linux Bandwidth Monitor 1.3
Linux Bandwidth Monitor (bwmon) is yet another utility that measures bandwidth utiliazation per interface basis. It is coded in C and takes advantage of POSIX thread and curses library. It runs only on Linux systems since the utility reads...
5.12 KB  
Utilities  -  VectorLinux 5.8 / 5.8.6 RC1(SOHO)
Vector Linux is a small, fast, Linux operating system for Intel, AMD and x86 compatible systems, based on one of the original Linux distributions, Slackware. The enormously popular Slackware is the true Unix of Linux distributions and is used by...
669 MB  
Utilities  -  VectorLinux 5.8 SOHO Live
Vector Linux is a small, fast, Linux operating system for Intel, AMD and x86 compatible systems, based on one of the original Linux distributions, Slackware. The Vector development team is proud to announce SOHO 5.1.2-live. We started with SOHO...
692 MB  
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