Skip to content

Instantly share code, notes, and snippets.

@vmlemon
Created February 4, 2011 19:19
Show Gist options
  • Save vmlemon/811589 to your computer and use it in GitHub Desktop.
Save vmlemon/811589 to your computer and use it in GitHub Desktop.
OKL4 "ELFWeaver" file for Genode
<?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="/root/okl4_2.1.1-patch.9/build/pistachio/bin/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="vesa_drv" file="vesa_drv" direct="true" />
</pd>
</image>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment