Jess: you're right of course: Select32 does exist - for the A9 family. The problem is, the impression that was given when peace broke out between ROL and Castle of a coherent strategy for the future whereby Castle would concentrate on the embedded market and ROD would do desktop development already appears to be fragmenting, and ROL/ROD to be reverting to type, i.e., 'give us a wad of cash and we'll do you a version of the OS'. Hence Select32 for the ARM9. But what about ARM10/11/X-Scale?
Castle's strategy, of developing an OS core-plus-HAL, at least had the merit of being adaptable to other versions of the ARM, as I understand it. ROD's apparent strategy will simply replace hardware dependency with software ditto.
If I'm talking through my hat, please say: it wouldn't be the first time.