On Nov 29, 2011, at 8:29 AM, Hatanaka, Akira wrote: > I can commit this if there are no objections. > > We will also need to replace "4ke" with "mips32r2" wherever it is used (Makefiles, python driver, etc.). Sounds good to me. I hadn't noticed when it went by originally. -eric