From mboxrd@z Thu Jan  1 00:00:00 1970
Date: Thu, 4 Dec 2014 13:12:24 +0100
From: Gilles Chanteperdrix <gilles.chanteperdrix@xenomai.org>
Message-ID: <20141204121224.GA9728@hermes>
References: <54803595.90308@control.lth.se>
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
In-Reply-To: <54803595.90308@control.lth.se>
Subject: Re: [Xenomai] Script to cleanup linux .config file
List-Id: Discussions about the Xenomai project <xenomai.xenomai.org>
List-Unsubscribe: <http://www.xenomai.org/mailman/options/xenomai>,
 <mailto:xenomai-request@xenomai.org?subject=unsubscribe>
List-Archive: <http://www.xenomai.org/pipermail/xenomai/>
List-Post: <mailto:xenomai@xenomai.org>
List-Help: <mailto:xenomai-request@xenomai.org?subject=help>
List-Subscribe: <http://www.xenomai.org/mailman/listinfo/xenomai>,
 <mailto:xenomai-request@xenomai.org?subject=subscribe>
To: Anders Blomdell <anders.blomdell@control.lth.se>
Cc: Xenomai <xenomai@xenomai.org>

On Thu, Dec 04, 2014 at 11:21:09AM +0100, Anders Blomdell wrote:
> I post the attached script in the vain hope that it might be useful for someone else
> (and possibly enhanced by our all-knowing experts). 

I would say the simple option is to disable the options by directly
patching the Kconfig in the I-pipe patch.

-- 
					    Gilles.