Benjamin Lamowski 25c7204b2a hw: clear RAM dataspaces in chunks ... Clearing very large RAM dataspaces could fill up core's page table, because the dataspaces are locally mapped to clear them. This would manifest in a loop where exhausting the local page table leads to its flushing (which does not work for core) and a retry that again fills up the page table and so on. To prevent this, flush RAM dataspaces in chunks of at most 128MiB. Fixes #5086		2024-02-26 08:31:03 +01:00
..
board	Remove i.MX6 platforms from base repositories	2023-07-14 12:06:31 +02:00
etc	base: remove SPEC variables of boards (fix #3971)	2021-01-25 13:58:09 +01:00
include	hw: fix vmm_arm test on arm_v8a	2023-10-04 13:22:08 +02:00
lib/mk	Finally move __dso_handle into genode.ld	2023-07-14 12:06:32 +02:00
recipes	depot: update recipe hashes	2023-12-13 12:33:05 +01:00
run	Move cpu_quota.run from os to base-hw repository	2023-05-30 12:03:26 +02:00
src	hw: clear RAM dataspaces in chunks	2024-02-26 08:31:03 +01:00