I have managed to connect Socrates board to virtual PC. I am using Ubuntu 12.04.5 amd64 running inside VirtualBox 5.0.4 under Windows 7 host. In previous version of VirtualBox - 4.3.16 - I couldn't do that. There was an issue related to TI USB 3410 driver for onboard UART to USB converter. This driver didn't work correctly inside VirtualBox 4.3.16.
However I couldn't use newer VirtualBox due to this error
After solving the error, I have upgraded Guest additions. USB of the board appears as /dev/ttyUSB0.
Here is screenshot of console output from Socrates
Next I'm going to find out why starting part of Linux kernel output is garbled, as can be seen from the picture.
