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. 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.

• 07/11/2008 rmox-multiboot-20081107 (10.9 MiB). "rmox" multiboot image.
• 07/11/2008 rmox-hdimage-20081107 (24.0 MiB). "hdimage.rmox" harddisk image.
• 07/11/2008 rmox-config-20081107.inc (5.3 KiB). "rmox_config.inc" configuration for the 20081107 images.

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
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 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:

• http://projects.cs.kent.ac.uk/projects/rmox/trac/browser/rmox/trunk.

Source package download:

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

• 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).