ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-01-29 15:44:02 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

okl4: increase available physical memory

Browse Source 
required by noux_tool_chain_auto
This commit is contained in:
Alexander Boettcher 2015-10-19 20:07:56 +02:00 committed by Christian Helmuth
parent c2f0bb4fa8
commit 6d0936ca98
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
tool/run/boot_dir/okl4
View File

@ -57,7 +57,7 @@ set weaver_xml_template {
<region base="0x100000" size="0x1800000" type="dedicated" />
</physical_memory>
<physical_memory name="physical">
<region base="0x2000000" size="0x1d000000" type="conventional" />
<region base="0x2000000" size="0x30000000" type="conventional" />
</physical_memory>
<phys_device name="timer_dev">
<interrupt name="int_timer0" number="0" />