On Tuesday 09 May 2006 09:00, Chris Wright wrote: > The XEN config option is selected from the i386 subarch menu by > choosing the X86_XEN "Xen-compatible" subarch. I really dislike all these negative option checks. I think it would be better if you defined a positive symbol like BARE_METAL (better name?)and define that only for the non XEN case. -Andi