Re: [rtl] Which Linux?

[Mark <mark@mxnet.demon.co.uk>]

Basically the only rule I know of is make sure you have the correct RTL
patch for your kernel source. You can get the Linux kernels from
http://www.kernel.org. Either that or download a pre-patched kernel.

Mark

In message <AE2D2DE99619D211A7FC00A024D1739701BF29F2@MS_EDISON>,
Heinicke, Eric <eric.heinicke@baesystems.com> writes
>From a newbie:
>      Is there a preferred flavor of Linux to use with RTLinux?
>
>Thank You.
> 
>Eric O. Heinicke       eric.heinicke@baesystems.com
>BAE SYSTEMS         Voice:631.262.8644 
>                       Fax:  631.262.8657
>                       One Hazeltine Way, MS 1-78
>                       Greenlawn, NY 11740-1606
>
>-- [rtl] ---
>To unsubscribe:
>echo "unsubscribe rtl" | mail majordomo@rtlinux.org OR
>echo "unsubscribe rtl <Your_email>" | mail majordomo@rtlinux.org
>---
>For more information on Real-Time Linux see:
>http://www.rtlinux.org/rtlinux/
>

-- 
Mark