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

pci: increase memory for device pd

Browse Source 
not enough anymore on 32 bit after #989 changes
This commit is contained in:
Alexander Boettcher
2014-01-09 09:22:08 +01:00
committed by Norman Feske
parent 07b355b4e4
commit bf57a5d79c
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
os/src/drivers/pci/main.cc
View File

@@ -81,7 +81,7 @@ int main(int argc, char **argv)
*/ */
enum { enum {
STACK_SIZE = 2 * sizeof(addr_t)*1024, STACK_SIZE = 2 * sizeof(addr_t)*1024,
PCI_DEVICE_PD_RAM_QUOTA = sizeof(addr_t) * 128 * 1024, PCI_DEVICE_PD_RAM_QUOTA = 196 * 4096,
}; };
static Cap_connection cap; static Cap_connection cap;