ivory-bsp-tests: platforms supports port407z, depends on default.conf for default
ivory-bsp-tests: platforms supports port407z, depends on default.conf for default

GaloisInc/ivory-tower-stm32,GaloisInc/ivory-tower-stm32,GaloisInc/ivory-tower-stm32