mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-26 17:01:07 +00:00
30a96706cb
One can configure the NIC router to act as DHCP server at interfaces of a
domain by adding the <dhcp> tag to the configuration of the domain like
this:
<domain name="vbox" interface="10.0.1.1/24">
<dhcp-server ip_first="10.0.1.80"
ip_last="10.0.1.100"
ip_lease_time_sec="3600"
dns_server="10.0.0.2"/>
...
</domain>
The attributes ip_first and ip_last define the available IPv4 address
range while ip_lease_time_sec defines the lifetime of an IPv4 address
assignment in seconds. The IPv4 address range must be in the subnet
defined by the interface attribute of the domain tag and must not cover
the IPv4 address in this attribute. The dns_server attribute gives the
IPv4 address of the DNS server that might also be in another subnet.
The lifetime of an offered assignment is the configured round trip time of
the router while the ip_lease_time_sec is applied only if the offer is
requested by the client in time.
The ports/run/virtualbox_nic_router.run script is an example of how to
use the new DHCP server functionality.
Ref #2490
102 lines
3.9 KiB
XML
102 lines
3.9 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.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>
|