Hello,could you please post your resulting dockerfile and tell if it finally succeeded...A repository with a working docker configuration on https://github.com/STMicroelectronics would be very nice.ups found it: https://github.com/kbumsik/docker-buil...