mirror of
https://github.com/genodelabs/genode.git
synced 2025-02-20 17:52:52 +00:00
Martin Stein
Norman Feske
parent
e14b58a82c
commit
063e4bd072
@ -348,8 +348,6 @@ append config {
|
|||||||
|
|
||||||
install_config $config
|
install_config $config
|
||||||
|
|
||||||
exec cp ${genode_dir}/repos/ports/run/virtualbox_nic_router.vbox bin/.
|
|
||||||
|
|
||||||
append boot_modules {
|
append boot_modules {
|
||||||
iwlwifi-6000-4.ucode
|
iwlwifi-6000-4.ucode
|
||||||
iwlwifi-6000g2a-6.ucode
|
iwlwifi-6000g2a-6.ucode
|
||||||
|
|||||||
@ -564,7 +564,7 @@ This section will list and explain some interesting configuration snippets. A
|
|||||||
comprehensive example of how to use the router (except DHCP server
|
comprehensive example of how to use the router (except DHCP server
|
||||||
functionality) can be found in the test script 'libports/run/nic_router.run'.
|
functionality) can be found in the test script 'libports/run/nic_router.run'.
|
||||||
For an example of how to use the DHCP server and the DHCP client functionality
|
For an example of how to use the DHCP server and the DHCP client functionality
|
||||||
see the 'ports/run/virtualbox_nic_router.run' script.
|
see the 'os/run/ping_nic_router.run' script.
|
||||||
|
|
||||||
The environment for the examples shall be as
|
The environment for the examples shall be as
|
||||||
follows. There are two virtual subnets 192.168.1.0/24 and 192.168.2.0/24 that
|
follows. There are two virtual subnets 192.168.1.0/24 and 192.168.2.0/24 that
|
||||||
|
|||||||
@ -1,101 +0,0 @@
|
|||||||
<?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.14-linux">
|
|
||||||
<Machine uuid="{410f6221-6237-4833-b02c-a54000b7b190}" name="Tinycore" OSType="Linux26" snapshotFolder="Snapshots" lastStateChange="2014-10-30T13:26:17Z">
|
|
||||||
<MediaRegistry>
|
|
||||||
<HardDisks/>
|
|
||||||
<DVDImages>
|
|
||||||
<Image uuid="{81763434-9a51-49e8-9444-528a5a28c4bc}" location="test.iso"/>
|
|
||||||
</DVDImages>
|
|
||||||
<FloppyImages/>
|
|
||||||
</MediaRegistry>
|
|
||||||
<ExtraData>
|
|
||||||
<ExtraDataItem name="GUI/LastGuestSizeHint" value="720,400"/>
|
|
||||||
<ExtraDataItem name="GUI/LastNormalWindowPosition" value="513,100,720,422"/>
|
|
||||||
</ExtraData>
|
|
||||||
<Hardware version="2">
|
|
||||||
<CPU count="1" hotplug="false">
|
|
||||||
<HardwareVirtEx enabled="true"/>
|
|
||||||
<HardwareVirtExNestedPaging enabled="true"/>
|
|
||||||
<HardwareVirtExVPID enabled="true"/>
|
|
||||||
<HardwareVirtExUX enabled="false"/>
|
|
||||||
<PAE enabled="false"/>
|
|
||||||
<LongMode enabled="false"/>
|
|
||||||
<HardwareVirtExLargePages enabled="false"/>
|
|
||||||
<HardwareVirtForce enabled="false"/>
|
|
||||||
</CPU>
|
|
||||||
<Memory RAMSize="256" PageFusion="false"/>
|
|
||||||
<HID Pointing="PS2Mouse" Keyboard="PS2Keyboard"/>
|
|
||||||
<HPET enabled="false"/>
|
|
||||||
<Chipset type="PIIX3"/>
|
|
||||||
<Boot>
|
|
||||||
<Order position="1" device="Floppy"/>
|
|
||||||
<Order position="2" device="DVD"/>
|
|
||||||
<Order position="3" device="HardDisk"/>
|
|
||||||
<Order position="4" device="None"/>
|
|
||||||
</Boot>
|
|
||||||
<Display VRAMSize="12" monitorCount="1" accelerate3D="false" accelerate2DVideo="false"/>
|
|
||||||
<VideoCapture enabled="false" screens="18446744073709551615" horzRes="1024" vertRes="768" rate="512" fps="25"/>
|
|
||||||
<RemoteDisplay enabled="false" authType="Null" authTimeout="5000"/>
|
|
||||||
<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="true" 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="HostDevice"/>
|
|
||||||
<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="Pulse" enabled="false"/>
|
|
||||||
<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>
|
|
||||||
<GuestProperty name="/VirtualBox/HostInfo/GUI/LanguageID" value="en_US" timestamp="1414675524029545000" flags=""/>
|
|
||||||
</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>
|
|
||||||
</StorageController>
|
|
||||||
</StorageControllers>
|
|
||||||
</Machine>
|
|
||||||
</VirtualBox>
|
|
||||||
Loading…
x
Reference in New Issue
Block a user