/ecos/packages/hal/mips/mips32/current/