Merge branch 'feature-plattformspecific-soiworkspace' into 'master'

feature workspaceconfig is adjusted to platform

See merge request !4
2 jobs for master in 55 seconds (queued for 3 seconds)
Status Job ID Name Coverage
  Build Deps
passed #9476
build-helper

00:00:26

 
  Build
passed #9477
build

00:00:28