RMoX logo

RMoX

A Scalable, Compositional Operating-System
for Commodity Platforms

[ Main | Documentation | Papers | Download | Building | Links ]

Download

[ binary | source ]

The simplest way to get hold of RMoX is to download one of the pre-compiled binary images and boot it on a real machine or in an emulator such as QEMU.

Latest are rmox-zImage-20050110, rmox-0.1.3.tar.gz and kroc-1.3.4-pre4.tar.gz.

Binary Images

Below is a list of binary zImages. These should be written to a floppy disk and booted. You can, of course, add such a zImage to your existing `lilo.conf' (or other bootloader config) -- the advantage being a faster boot.

Under Linux, use the `dd' tool to write the image to the floppy-disk. For example:

    bash$ dd if=./rmox-zImage-20050110 of=/dev/fd0 bs=512

`/dev/fd0' is generally the first floppy drive. If not, you should use the appropriate device on your system, not the mount-point (e.g. `/mnt/floppy').

Old images (built on the Flux OSKit):

Source Download

Here is the RMoX source code, available for download. Unless otherwise stated, this software is released under the terms and conditions of the GNU General Public License. The "minlinux" code falls under the Linux-kernel license, which is essentially GPL, but with some tweaks. Generally:

This program is free software; you can redistribute it and/or modify
it under the terms of the GNU General Public License as published by
the Free Software Foundation; either version 2 of the License, or
(at your option) any later version.

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

The following components are required to build RMoX from sources:

  • The CCSP run-time kernel from KRoC
  • The minlinux version of the Linux kernel
  • The RMoX system itself

In addition to these, you must have a fully functional tool-chain. RMoX is known to work with gcc-2.95.2, gcc-3.3.2, gcc-3.3.3 and gcc-3.3.5. At the time of writing, the gcc-3.3.5 and associated toolchain in Debian GNU/Linux (testing/unstable) appears to be functional.

The latest version of CCSP (at least 1.3.4-pre4 is required for the current version of RMoX) can be downloaded from http://frmb.org/kroc.html.

The "minlinux" source tree is based on Linux 2.4.27, but with significant chunks removed. This can be downloaded here:

The current version of the RMoX system itself is 0.1.3 and can be downloaded here:

Instructions for configuring and building RMoX can be found on the building page.

occam-pi

Valid XHTML 1.0!

Valid CSS!

Last modified: 2005-11-12 17:35:09.000000000 +0000 by Fred Barnes
Copyright © 2003-2007 Fred Barnes, University of Kent