For testing the installation, provided that the Merkurboard-Programmer is plugged in, whenever the default vm is running, the devices /dev/tty.SLAB_USBtoUART and /dev/cu.SLAB_USBtoUART are removed from the OSX host and instead, the device /dev/ttyUSB0 is available in the default vm in the docker container.