diff --git a/os/src/drivers/pci/main.cc b/os/src/drivers/pci/main.cc
index 86927fe588..27e4bb3228 100644
--- a/os/src/drivers/pci/main.cc
+++ b/os/src/drivers/pci/main.cc
@@ -81,7 +81,7 @@ int main(int argc, char **argv)
 	 */
 	enum {
 		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;