>Maybe.  That mostly depends on how much it expects to be called from RISC
>OS.  ISTR that Linux goes to some effort to emulate bits of RISC OS that
>podule loaders might use,

No, it just runs the loaders with a special memory map on 32-bit machines.  
For 26-bit hardware no special tricks at all are used.

        /* We want to set up the page tables for the following mapping:
         *  Virtual     Physical
         *  0x03000000  0x03000000
         *  0x03010000  unmapped
         *  0x03210000  0x03210000
         *  0x03400000  unmapped
         *  0x08000000  0x08000000
         *  0x10000000  unmapped
         *
         * FIXME: we don't follow this 100% yet.
         */

p.