+++ src/kernel/muen/policy/xml/genode-base_hw.xml
@@ -102,7 +102,7 @@
 				</vmx>
 				<registers>
 					<gpr>
-						<rip>16#0020_000c#</rip>
+						<rip>16#0020_0028#</rip>
 						<rsp>16#0000#</rsp>
 					</gpr>
 				</registers>