I wrote: > > makeoptions CPUFLAGS="-march=mips3 -mabi=32 -mtune=vr5000" > : > > Is it worth to add this into GENERIC32_IP3x? > > I'll also add this if there is no particular objection. This one is also committed. --- Izumi Tsutsui