diff --git a/repos/base-hw/src/core/spec/x86_64/virtualization/vm_session_component.cc b/repos/base-hw/src/core/spec/x86_64/virtualization/vm_session_component.cc index 022043998c..a335084e0f 100644 --- a/repos/base-hw/src/core/spec/x86_64/virtualization/vm_session_component.cc +++ b/repos/base-hw/src/core/spec/x86_64/virtualization/vm_session_component.cc @@ -36,7 +36,7 @@ void Vm_session_component::_attach(addr_t phys_addr, addr_t vm_addr, size_t size { using namespace Hw; - Page_flags pflags { RW, NO_EXEC, USER, NO_GLOBAL, RAM, CACHED }; + Page_flags pflags { RW, EXEC, USER, NO_GLOBAL, RAM, CACHED }; try { _table.insert_translation(vm_addr, phys_addr, size, pflags,