mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-27 17:18:53 +00:00
118 lines
4.6 KiB
XML
118 lines
4.6 KiB
XML
<?xml version="1.0"?>
|
|
<!--
|
|
** DO NOT EDIT THIS FILE.
|
|
** If you make changes to this file while any VirtualBox related application
|
|
** is running, your changes will be overwritten later, without taking effect.
|
|
** Use VBoxManage or the VirtualBox Manager GUI to make changes.
|
|
-->
|
|
<VirtualBox xmlns="http://www.innotek.de/VirtualBox-settings" version="1.18-genode">
|
|
<Machine uuid="{410f6221-6237-4833-b02c-a54000b7b190}" name="Tinycore" OSType="Linux26" snapshotFolder="Snapshots" lastStateChange="2014-10-30T13:26:17Z">
|
|
<MediaRegistry>
|
|
<HardDisks>
|
|
<!--HardDisk uuid="{3d9a9193-0fe7-4f8c-8e1b-065dbf514c82}" location="/ram/overlay.vdi" format="VDI" autoReset="true"/-->
|
|
</HardDisks>
|
|
<DVDImages>
|
|
<Image uuid="{81763434-9a51-49e8-9444-528a5a28c4bc}" location="test.iso"/>
|
|
</DVDImages>
|
|
<FloppyImages>
|
|
<!--Image uuid="{a804c9cb-ae6d-490a-92e9-8d4605911c22}" location="bootsector.img"/-->
|
|
</FloppyImages>
|
|
</MediaRegistry>
|
|
<ExtraData/>
|
|
<Hardware>
|
|
<CPU count="2" hotplug="false">
|
|
<HardwareVirtEx enabled="true"/>
|
|
<HardwareVirtExNestedPaging enabled="true"/>
|
|
<HardwareVirtExUX enabled="true"/>
|
|
<PAE enabled="true"/>
|
|
<LongMode enabled="true"/>
|
|
</CPU>
|
|
<Memory RAMSize="2048" PageFusion="false"/>
|
|
<HID Pointing="PS2Mouse" Keyboard="PS2Keyboard"/>
|
|
<HPET enabled="false"/>
|
|
<Chipset type="ICH9"/>
|
|
<Boot>
|
|
<Order position="1" device="Floppy"/>
|
|
<Order position="2" device="DVD"/>
|
|
<Order position="3" device="HardDisk"/>
|
|
<Order position="4" device="None"/>
|
|
</Boot>
|
|
<Display VRAMSize="20" monitorCount="1" accelerate3D="false" accelerate2DVideo="false"/>
|
|
<VideoCapture enabled="false" screens="18446744073709551615" horzRes="1024" vertRes="768" rate="512" fps="25"/>
|
|
<RemoteDisplay enabled="false" authType="Null"/>
|
|
<BIOS>
|
|
<ACPI enabled="true"/>
|
|
<IOAPIC enabled="true"/>
|
|
<Logo fadeIn="true" fadeOut="true" displayTime="0"/>
|
|
<BootMenu mode="MessageAndMenu"/>
|
|
<TimeOffset value="0"/>
|
|
<PXEDebug enabled="false"/>
|
|
</BIOS>
|
|
<USB>
|
|
<Controllers>
|
|
<Controller name="OHCI" type="OHCI"/>
|
|
</Controllers>
|
|
<DeviceFilters/>
|
|
</USB>
|
|
<Network>
|
|
<Adapter slot="0" enabled="false" MACAddress="0800271D7901" cable="true" speed="0" type="82540EM">
|
|
<HostInterface/>
|
|
<DisabledModes/>
|
|
</Adapter>
|
|
</Network>
|
|
<UART>
|
|
<Port slot="0" enabled="true" IOBase="0x3f8" IRQ="4" path="/dev/terminal" hostMode="RawFile"/>
|
|
<Port slot="1" enabled="false" IOBase="0x2f8" IRQ="3" hostMode="Disconnected"/>
|
|
</UART>
|
|
<LPT>
|
|
<Port slot="0" enabled="false" IOBase="0x378" IRQ="7"/>
|
|
<Port slot="1" enabled="false" IOBase="0x378" IRQ="7"/>
|
|
</LPT>
|
|
<AudioAdapter controller="AC97" driver="OSS" enabled="true"/>
|
|
<RTC localOrUTC="UTC"/>
|
|
<SharedFolders/>
|
|
<Clipboard mode="Disabled"/>
|
|
<DragAndDrop mode="Disabled"/>
|
|
<IO>
|
|
<IoCache enabled="true" size="5"/>
|
|
<BandwidthGroups/>
|
|
</IO>
|
|
<HostPci>
|
|
<Devices/>
|
|
</HostPci>
|
|
<EmulatedUSB>
|
|
<CardReader enabled="false"/>
|
|
</EmulatedUSB>
|
|
<Guest memoryBalloonSize="0"/>
|
|
<GuestProperties/>
|
|
</Hardware>
|
|
<StorageControllers>
|
|
<!--
|
|
<StorageController name="IDE" type="PIIX4" PortCount="2" useHostIOCache="true" Bootable="true">
|
|
<AttachedDevice passthrough="false" tempeject="true" type="DVD" port="1" device="0">
|
|
<Image uuid="{81763434-9a51-49e8-9444-528a5a28c4bc}"/>
|
|
</AttachedDevice>
|
|
<AttachedDevice type="HardDisk" port="0" device="0">
|
|
<Image uuid="{3d9a9193-0fe7-4f8c-8e1b-065dbf514c82}"/>
|
|
</AttachedDevice>
|
|
</StorageController>
|
|
-->
|
|
<StorageController name="SATA" type="AHCI" PortCount="2" useHostIOCache="true" Bootable="true">
|
|
<AttachedDevice passthrough="false" tempeject="true" type="DVD" port="1" device="0">
|
|
<Image uuid="{81763434-9a51-49e8-9444-528a5a28c4bc}"/>
|
|
</AttachedDevice>
|
|
<!--
|
|
<AttachedDevice type="HardDisk" port="0" device="0">
|
|
<Image uuid="{3d9a9193-0fe7-4f8c-8e1b-065dbf514c82}"/>
|
|
</AttachedDevice>
|
|
-->
|
|
</StorageController>
|
|
<StorageController name="Floppy" type="I82078" PortCount="1" useHostIOCache="true" Bootable="true">
|
|
<AttachedDevice type="Floppy" hotpluggable="false" port="0" device="0">
|
|
<!--Image uuid="{a804c9cb-ae6d-490a-92e9-8d4605911c22}"/-->
|
|
</AttachedDevice>
|
|
</StorageController>
|
|
</StorageControllers>
|
|
</Machine>
|
|
</VirtualBox>
|