Thanks for your reply!
I know there is no official multiple device support.
Nevertheless, there is actually no need for virtual machines (at least on Linux). You can plug in the first device, start the daemon then plugin the next device and start another instance of the daemon on another websocket port (using ws_port option) and so on. Then you can use multiple devices on a single machine by connecting to the websockets. The only problem is that leapd will always recognize the device which was connected last which means you have to connect each device separately and start the corresponding service - it works but is not really user friendly...
Therefore my question: Is there any additional option for leapd for selecting a specific device? I found out that there are options (like device_location_autoconfig) which are completely undocumented (not even listed by using --help). So maybe there is a secret list of hidden parameters?