the documentation that you have mentioned, is to get started with the XDK in general. The names in the XDK-workbench starting page do not fit to the demo applications, because these programs are examples for a few modules of the XDK, that you can use.

If you want to run the VirtualXDK demo application, you can take a look at the specific getting started file in the download folder.