genode/repos/dde_linux/run
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
..
nic_router_uplinks.run pci_decode: increase default ram quota 2022-11-29 12:29:57 +01:00
usb_hid_raw.run Consolidate USB test run-scripts 2022-05-25 12:23:03 +02:00
usb_hid_reconnect.run Consolidate USB test run-scripts 2022-05-25 12:23:03 +02:00
usb_net.run Consolidate USB test run-scripts 2022-05-25 12:23:03 +02:00
usb_terminal.run Consolidate USB test run-scripts 2022-05-25 12:23:03 +02:00
vfs_cfg.run Remove pseudo targets for building shared libs 2022-09-19 14:00:32 +02:00
vfs_lxip.inc Remove pseudo targets for building shared libs 2022-09-19 14:00:32 +02:00
wg_fetchurl.run wireguard: enable wg_fetchurl.run on sel4 2022-08-10 13:29:39 +02:00
wg_lighttpd.run dde_linux: port of WireGuard kernel module 2022-05-25 12:23:03 +02:00
wg_ping_inwards.run dde_linux: port of WireGuard kernel module 2022-05-25 12:23:03 +02:00
wg_ping_outwards.run dde_linux: port of WireGuard kernel module 2022-05-25 12:23:03 +02:00
wg_qemu_tap_preamble.inc dde_linux: port of WireGuard kernel module 2022-05-25 12:23:03 +02:00
wg_reconfig.run wireguard: test multiple peers at a time 2022-08-10 13:29:40 +02:00