Quoting Izumi Tsutsui <tsutsui%ceres.dti.ne.jp@localhost>:
- loading kernels on IP12 (which doesn't have ARCBIOS) is not tested at all (I wonder if argv[0] passed from BIOS is vaild or not on IP12)
It should be. I wouldn't worry about it, though. I doubt anybody uses it ;) Steve