ts-7200/dist/ecos/packages/hal/synth/i386linux/current/include
