Home

FAQ

Document

Download RED-Linux

Project Members

Other Links


Download RED-Linux

Press here to download RED-Linux SDK. This is a beta version of RED-Linux SDK. It includes the kernel patch, real-time API library, dispatcher module and an allocator example.

A floppy image can be downloaded here. You can use dd in UNIX system or rawrite on DOS to produce a bootable demo floppy. In Unix, please use

 # dd if=bootimage of=/dev/fd0

In DOS, please use

c:> rawrite

and follow the instructions on screen. This demo floppy contains the RED-Linux kernel and a small set of Linux utilities. It's the simplest way to see the demo of RED-Linux.

Installation

The kernel patch is based on Linux 2.2.14 . You must download it first.

1. Decompress RED-Linux SDK

# gzip -dc RED_SDK-2.2-a1.tar.gz | tar xvf -
# cd RED_SDK-2.2-a1

2. Decompress the Linux kernel code package

# gzip -dc linux-2.2.14.tar.gz | tar xvf -

3. Apply the patch

# cd linux
# patch -p1 < ../RED-Linux-2.2-p1.patch

4. Configure the kernel

Type the below command to activate the configuration tool.

# make xconfig

Please make sure the following options in the kernel hacking section are selected.

  • Use microtimer
  • Insert STPs

In addition, if you want to use BOCHS x86 emulator, please make sure the "kernel math emulation" in the "General Setup" section and the "RAM disk" in the "Floppy, IDE, and other block devices" section have been turned on.

5. Build the kernel

# make bzImage