> This has probably been asked before, but what's the best choice for a
> kernel running on a Pentium II? Would it be Pentium or PPro?
PPro, PII and the next chip from Intel (see ISSCC98 preview) are based
on the same (P6) microarchitecture. If you use plain gcc, however, 486 is
probably the best optimization for these processors.