mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-22 15:02:25 +00:00
73 lines
2.2 KiB
XML
73 lines
2.2 KiB
XML
<?xml version="1.0"?>
|
|
<!DOCTYPE image SYSTEM "weaver-1.1.dtd">
|
|
<image>
|
|
<machine>
|
|
<word_size size="0x20" />
|
|
<virtual_memory name="virtual">
|
|
<region base="0x120000" 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="0x100000" size="0x2800000" type="dedicated" />
|
|
</physical_memory>
|
|
<physical_memory name="physical">
|
|
<region base="0x3000000" size="0xaf00000" 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="pci_drv" file="pci_drv" direct="true" />
|
|
<memsection name="vesa_drv" file="vesa_drv" direct="true" />
|
|
<memsection name="ps2_drv" file="ps2_drv" direct="true" />
|
|
<memsection name="timer" file="timer" direct="true" />
|
|
<memsection name="vmlinux" file="vmlinux" direct="true" />
|
|
<memsection name="ramdisk" file="ramdisk" direct="true" />
|
|
</pd>
|
|
|
|
</image>
|