I've started work on writting an assembler (perhaps with some C) version of L4 for ARM version 4 starting with the StrongARM SA-1100 (on the Brutus evaluation platform and some custom hardware). If anyone is interested in the port or has started their own and has any advice or suggestion please contact me. At release time it will be covered by the GPL.
Cheers Adam