mirror of
https://github.com/genodelabs/genode.git
synced 2025-03-31 08:07:04 +00:00
d164cbac8c
Instead of changing the attributes (e.g., Xd bit) of the top-level page-tables, set them to allow everything. Only leafs of the paging hierarchy are set according to the paging attributes given by core. Otherwise, top-level page- table attributes are changed during lifetime, which requires a TLB flush operation (not intended in the semantic of the kernel/core). This led to problems when using the non-executable features introduced by issue #1723 in the recent past.