As detailed by Florian via mail, we need to verify that SiliconSmart will work inside a Docker container. To this end we need to create a prototype Docker container that runs a the SiliconSmart demo.