Stefan Kalkowski f6825eea5f pci_decode: increase default ram quota
To circumvent problems of the page-table entries getting short on sel4,
increase the RAM quota for this component in all run-scripts.

Fix #4686
2022-11-29 12:29:57 +01:00
..
2019-01-14 12:33:57 +01:00
2020-04-17 12:53:57 +02:00
2022-10-12 12:09:33 +02:00
2020-04-17 12:40:13 +02:00
2022-05-25 12:23:03 +02:00
2022-11-17 08:00:37 +01:00