bjh21@netbsd.org said:
> (FWIW, it'd be theoretically possible to have a combined arm26/arm32
> kernel

Not really, since the pmap code would be almost entirely different; not to 
mention the fact that in 26-bit mode you have to be much more careful 
about using "movs pc,..." in the right places, and not using the msr or 
mrs instructions.  We'd practically end up with two of everything.

R.

BTW, I wasn't saying the rule was hard and fast, just that it was a guide 
-- the current situation is clearly wrong: we should move towards a single 
GENERIC, or to separate ports -- the wrong move is not to move.