RMoX logo


A Scalable, Compositional Operating-System
for Commodity Platforms



[ 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. See the user documentation for how to boot a binary image.

Binary images

Below is a list of bootable Multiboot images and hard-disk images. See the user documentation for how to boot a binary image. The very latest binary image (updated every few days/weeks) can be downloaded here: rmox-0.1.7-latest-image (multiboot image).

Source download

The source code of RMoX is released under the terms and conditions of the GNU General Public License version 2. 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
GNU General Public License for more details.

The following components are required to build RMoX from sources:

  • The KRoC distribution itself (for compiling the occam-pi sources).
  • The CCSP run-time kernel from KRoC.
  • An empty GRUB floppy image for RMoX revisions before r4327: grub-empty-20081107.img.
  • The RMoX system itself.

RMoX's C parts are known to work with gcc-2.95.2, gcc-3.3.2, gcc-3.3.3, gcc-3.3.5 and gcc-4.3.1. Any version of GNU's gcc capable of compiling a Linux kernel successfully should be able to compile RMoX okay. At the time of writing, the gcc-4.3.1 and associated toolchain in Debian GNU/Linux (testing/unstable) is functional.

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

Browse source repository:

You can browse the RMoX source code, without having to download a copy, using the subversion/trac interface:

Source package download:

If you want to download RMoX and related tools from tarballs, here's what you'll need:

  • rmox-r4481.tar.gz (6.6 MiB) RMoX source code tarball, with subversion directories.
  • rmox-r4321.tar.gz (5.6 MiB) RMoX source code tarball, with subversion directories.
  • grub-empty-20081107.img (1.4 MiB) empty floppy image with GRUB (needed for revisions prior to r4327).
  • kroc-1.5.0-pre4.tar.gz (9.4 MiB) KRoC pre-release source code tarball.
  • The CCSP code can be copied from the existing KRoC tree (located in runtime/ccsp/).

You should build KRoC first, and get a working occam-pi development environment, before trying to build RMoX. You'll need to unpack these archives first, though, see the building page for details.

Subversion download:

The preferred way of getting the RMoX source-code, and keeping up to date with developments in both KRoC and RMoX. First, decide where you want to park the RMoX build tree and create a directory for it. E.g.:

bash:~/$ mkdir ~/oos/

Then check-out the RMoX and CCSP source code:

bash:~/$ cd ~/oos/
bash:~/oos/$ svn co http://projects.cs.kent.ac.uk/projects/rmox/svn/rmox/trunk rmox
bash:~/oos/$ svn co http://projects.cs.kent.ac.uk/projects/kroc/svn/kroc/trunk/runtime/ccsp ccsp

You'll also need a working KRoC installation, so check that out too:

bash:/oos/$ cd ~/
bash:~/$ svn co http://projects.cs.kent.ac.uk/projects/kroc/svn/kroc/trunk kroc-src

Once you have these, follow the instructions on the building page to build KRoC, CCSP and then RMoX. Note that the latest subversion copy of RMoX does not need a separate GRUB floppy image (one is included).


Valid XHTML 1.0!

Valid CSS!

Last modified: 2011-10-22 10:34:51.000000000 +0100 by Fred Barnes
Copyright © 2003-2009 Fred Barnes, University of Kent