ecos/packages/hal/synth
