> And, btw, maybe I didn't catch this earlier, but why is in all > user-visible options the thing called "cpu0_*"? Wouldn't it be better > to > call it "bsp_*"?
The kernel parameter was called bsp_hotplug before. It was changed to cpu0_hotplug in v5 to keep uniform cpu0/CPU0 names. Thanks. -Fenghua
