[EMAIL PROTECTED] wrote:
>
> On Mon, Feb 14, 2000 at 05:00:22PM -0500, Paul Koning wrote:
> > I noticed that (at least in 3.0) there's a config symbol for RTLinux.
> > But it isn't being used in the usual way -- the RTL code dropped in by
> > the patches isn't controlled by #ifdef CONFIG_RTLINUX (with one or two
> > exceptions) -- and it isn't a configuration dialog question.
>
> CONFIG_RTLINUX is useful to export that it is a RT kernel. But once the
> patch is installed, there is no point in pretending it's not a RTLinux kernel
> so a config option is useless.
Hi Victor,
For me having a CONFIG_RTL is very useful as I can then
#include <linux/config.h>
and then detect which variant people are running and so write code that
can be run on any system. I'd understand if this wasn't of great
interest for you, but please consider putting this in as it helps
application programmers do the right thing in their code without having
to put other phoney detection mechanisms in (e.g looking in /usr/src/rtl
and looking for a particular file's existance).
Regards, Stuart.
--- [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/
