You can use pretty much any distribution, e.g. RedHat or Debian or
whatever, but you will want to unpack the straight linux kernel from
www.kernel.org or www.linuxhq.com or a similar site. You should locate the
file linux-2.0.35.tar.gz for the 2.0.35 version of the kernel.
You can then move this file to the /usr/src directory, mv your old
/usr/src/linux directory, and tar xzvf the linux distribution. You can
then apply the rt-linux patches against the unpacked kernel sources.
You can then configure your kernel, cd /usr/src/linux ; make menuconfig,
and complile it, make clean ; make dep ; make zImage ; make modules ; make
modules_install ; make zlilo - or something like that.
-Don
On Mon, 4 Jan 1999, S ANCELOT wrote:
> Which linux distribution is it possible to use to run rtl ?
>
> Because I will need the kernel, but all what is around (/usr/lib , X
> utilities....)
>
> thanks
>
>
>
>
>
>
>
> --- [rtl] ---
> To unsubscribe:
> echo "unsubscribe rtl" | mail [EMAIL PROTECTED] OR
> echo "unsubscribe rtl <Your_email>" | mail [EMAIL PROTECTED]
> ----
> For more information on Real-Time Linux see:
> http://www.rtlinux.org/~rtlinux/
>
--- [rtl] ---
To unsubscribe:
echo "unsubscribe rtl" | mail [EMAIL PROTECTED] OR
echo "unsubscribe rtl <Your_email>" | mail [EMAIL PROTECTED]
----
For more information on Real-Time Linux see:
http://www.rtlinux.org/~rtlinux/
