rendered paste bodydebian:/home/vbox/.VirtualBox# cat VirtualBox.xml
<?xml version="1.0"?>
<VirtualBox xmlns="http://www.innotek.de/VirtualBox-settings" version="1.10-linux">
<Global>
<MachineRegistry>
<MachineEntry uuid="{5a01b25e-d6fe-49f3-8b8f-7f68faac7f35}" src="Machines/Windows XP/Windows XP.xml"/>
</MachineRegistry>
<MediaRegistry>
<HardDisks>
<HardDisk uuid="{c20cbd6a-9145-4922-9a87-805029a1e93f}" location="HardDisks/WinXP.vdi" format="VDI" type="Normal"/>
</HardDisks>
<DVDImages>
<Image uuid="{f77dca02-56f2-4d15-8c9c-4605a0e077d1}" location="/home/vbox/X1AHOEM_EN.ISO"/>
<Image uuid="{b9c8a2a7-74a4-473d-9859-0ff1eec6cd73}" location="/usr/share/virtualbox/VBoxGuestAdditions.iso"/>
</DVDImages>
<FloppyImages/>
</MediaRegistry>
<NetserviceRegistry>
<DHCPServers>
<DHCPServer networkName="HostInterfaceNetworking-vboxnet0" IPAddress="192.168.56.100" networkMask="255.255.255.0" lowerIP="192.168.56.101" upperIP="192.168.56.254" enabled="1"/>
</DHCPServers>
</NetserviceRegistry>
<SystemProperties defaultMachineFolder="Machines" defaultHardDiskFolder="HardDisks" defaultHardDiskFormat="VDI" remoteDisplayAuthLibrary="VRDPAuth" webServiceAuthLibrary="VRDPAuth" LogHistoryCount="3"/>
<USBDeviceFilters/>
</Global>
</VirtualBox>