marcel a8226abc82 Add option -l for specifying which OS loader to dlopen(3). By default ... this is /boot/userboot.so. This option allows for the development and use of other OS loaders.		2015-10-08 02:28:22 +00:00
..
vmrun.sh	Add option -l for specifying which OS loader to dlopen(3). By default	2015-10-08 02:28:22 +00:00