vmware_prefix=@VMWARE_PREFIX@
vmmon=YES
vmnet=YES
linuxrtc=NO
# XXX should cater for multiple interfaces
vmnetif=YES
		vmnetifname=vmnet1
		vmnetdev=/dev/vmnet1
		vmnetifconfig="inet 172.16.212.1 netmask 0xffffff00"
		vmnetif_use_dhcpd=NO
