> On Thu, Jul 17, 2008 at 11:42 PM, Ingo Molnar <mingo@elte.hu> wrote:
> > With this config:
> >
> >
http://redhat.com/~mingo/misc/config-Thu_Jul_17_20_24_45_CEST_2008.bad
> >
>
> It doesn't actually work. The config says
>
> # head: 088fcf34
>
> and I checked out this from the tip tree. But kernel-config still
> complains about unknown config options... What went wrong?