genode/repos/base-okl4/tool/weaver_x86.xml

<?xml version="1.0"?>
<!DOCTYPE image SYSTEM "weaver-1.1.dtd">
<image>
	<machine>
		<word_size size="0x20" />
		<virtual_memory name="virtual">
			<region base="0x200000" size="0x3fe00000" />
		</virtual_memory>
		<physical_memory name="system_dram">
			<region base="0x0" size="0xa000" type="dedicated" />
		</physical_memory>
		<physical_memory name="bios">
			<region base="0xf0000" size="0x10000" type="dedicated" />
		</physical_memory>
		<physical_memory name="rom_expansion">
			<region base="0xc0000" size="0x30000" type="dedicated" />
		</physical_memory>
		<physical_memory name="physical">
			<region base="0x100000" size="0x3f00000" type="conventional" />
		</physical_memory>
		<phys_device name="timer_dev">
			<interrupt name="int_timer0" number="0" />
		</phys_device>
		<phys_device name="serial_dev">
			<interrupt name="int_serial0" number="4" />
		</phys_device>
		<phys_device name="rtc_dev">
		</phys_device>
		<page_size size="0x1000" />
		<page_size size="0x400000" />
	</machine>
	<physical_pool name="system_dram" direct="true">
		<memory src="system_dram" />
	</physical_pool>

	<virtual_pool name="virtual">
		<memory src="virtual" />
	</virtual_pool>

	<physical_pool name="bios" direct="true">
		<memory src="bios" />
	</physical_pool>

	<physical_pool name="rom_expansion" direct="true">
		<memory src="rom_expansion" />
	</physical_pool>

	<physical_pool name="physical" direct="true">
		<memory src="physical" />
	</physical_pool>

	<kernel file="kernel" xip="false" >
		<dynamic max_threads="0x400" />
		<config>
			<option key="root_caps" value="4096"/>
		</config>
	</kernel>

	<rootprogram file="core" virtpool="virtual" physpool="physical" />

	<pd name="modules">
		<memsection name="init"      file="init"      direct="true" />
		<memsection name="config"    file="config"    direct="true" />
		<memsection name="timer"     file="timer"     direct="true" />
		<memsection name="nitpicker" file="nitpicker" direct="true" />
		<memsection name="testnit"   file="testnit"   direct="true" />
		<memsection name="scout"     file="scout"     direct="true" />
		<memsection name="launchpad" file="launchpad" direct="true" />
		<memsection name="ps2_drv"   file="ps2_drv"   direct="true" />
		<memsection name="pci_drv"   file="pci_drv"   direct="true" />
		<memsection name="nitlog"    file="nitlog"    direct="true" />
		<memsection name="liquid_fb" file="liquid_fb" direct="true" />
		<memsection name="fb_drv"    file="fb_drv"    direct="true" />
	</pd>

</image>