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