Merge remote-tracking branch 'origin/master' into 257-first-gateware-version

5 jobs from 257-first-gateware-version in 120 minutes and 22 seconds (queued for 1 second)
Status Job ID Name Coverage
  Gateware
passed #10790
vivado-2019.2
build_diot_v1

30:56

passed #10787
vivado-2019.2
build_diot_v2

28:41

canceled #10786
vivado-2019.2
build_diot_v1

03:39

 
  Bootbin
passed #10788
petalinux-2019.2
build-diot-v1-img

36:00

passed #10789
petalinux-2019.2
build-diot-v2-img

24:42