Re: [rtl] CONFIG_RTLINUX

[yodaiken@fsmlabs.com]

On Tue, Feb 15, 2000 at 11:30:06AM +0000, Stuart Hughes wrote:
> yodaiken@fsmlabs.com 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>

I don't get it. CONFIG_RTLINUX tells you that it was configured for 
RTLinux. If you have a variant, then presumably you config something
else. Am I missing something?