ehmry/genode
ehmry
/
genode
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

l4linux.run: Increase quota of PCI driver

This commit is contained in:
Norman Feske 2013-03-11 16:40:28 +01:00
parent 90e6cef49b
commit a81ad12372
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
ports-foc/run/l4linux.run
View File

@ -52,7 +52,7 @@ set config {
append_if [have_spec pci] config {
<start name="pci_drv">
<resource name="RAM" quantum="1M"/>
<resource name="RAM" quantum="2M"/>
<provides><service name="PCI"/></provides>
</start>}