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.
> 
> Are you planning to do that?  It would seem to make sense that way --
> for example, presumably that's what would be needed before RTL could
> become a standard part of the kernel, rather than an ever-evolving but 
> never-merging patch.  Having it integrate into the standard kernel
> would be a major win.


I presume that one of the resons Victor started including CONFIG_RTL
is so that external modules such as Comedi could detect an RTLinux
kernel in its configuration phase, and take appropriate action, such
as including real-time support.  At least, he did it soon after I
asked him to.  It is also for this reason that Comedi doesn't support
native RTAI, but only if you use the RTAI patch that I occasionally
post to the [EMAIL PROTECTED] list.

It is a PITA to _develop_ a kernel patch that can be turned on/off
using a CONFIG_* switch.  Once the patch is ready to be merged, the
patch program can be used with the -D option to add #ifdef CONFIG_RTL
where appropriate.[1]  It requires a little cleanup and sanity
checking, but a lot easier than adding #ifdef's all over the place
while developing, and also checking that the patch works with
CONFIG_RTL turned off.


dave...


[1] Requires a very new version of patch, since older versions
confuse #ifdef and #ifndef.

--- [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/

Reply via email to