ts-7200/dist/ecos/packages/hal/powerpc/ec555/v2_0/misc
