Translations:Handbook:PPC/Blocks/Booting/5/en

We provide one generic kernel, ppc32. This kernel is built with support for multiple CPUs, but it will boot on single processor machines as well.