On 03/10/2013 07:13 PM, HATAYAMA Daisuke wrote: > > It seems to me that at least there needs to be the following design > policy for multiple CPUs on the 2nd kenrel: > > - There's no firmware, kernel components and modules that depend on > BSP flag being kept set on the original BSP flag and never set BSP > flag of any of the existing CPUs again at runtime. > And that is provably false in the case of firmware. -hpa -- H. Peter Anvin, Intel Open Source Technology Center I work for Intel. I don't speak on their behalf.