>> I see. Does it look as though all command-line arguments are just being >> ignored? > >That would a reasonable diagnosis.
Well, it's pretty weird. Wookey tried that kernel on a RiscPC and didn't complain of any problems in that respect. (He did have trouble booting on an ARM610.) Boot parameters are certainly working on the CATS, albeit with the tag-list rather than the monolithic params block. What boot loader do you use? p.