ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2024-12-23 15:32:25 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
79d8d1d557
genode/repos/gems/sculpt/drivers
History
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
..
linux Modularize Sculpt OS image creation 2022-01-19 12:38:11 +01:00
pc pci_decode: increase default ram quota 2022-11-29 12:29:57 +01:00