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