From b599f4e106000f50dbb4ad3fbd65bce66d2606ea Mon Sep 17 00:00:00 2001
From: Alexander Boettcher <alexander.boettcher@genode-labs.com>
Date: Tue, 6 Jun 2023 13:07:25 +0200
Subject: [PATCH] sel4: stop thread on alignment fault

by not replying to the IPC. Otherwise, endless alignment faults are triggered,
seen on imx6q Sabrelite and usb_hid_raw.
---
 repos/base-sel4/src/core/pager.cc | 1 +
 1 file changed, 1 insertion(+)

diff --git a/repos/base-sel4/src/core/pager.cc b/repos/base-sel4/src/core/pager.cc
index c9be14e971..982e658d90 100644
--- a/repos/base-sel4/src/core/pager.cc
+++ b/repos/base-sel4/src/core/pager.cc
@@ -219,6 +219,7 @@ void Pager_entrypoint::entry()
 				        " ip=", Hex(_pager.fault_ip()));
 				reply_pending = false;
 				obj->submit_exception_signal();
+				return;
 			}
 
 			/* send reply if page-fault handling succeeded */