ecos/packages/hal/synth/arch
