From 537cadbf78695a01ea1c00a0a5a4b6b70ddac8c3 Mon Sep 17 00:00:00 2001 From: Amlal El Mahrouss Date: Sun, 7 Sep 2025 18:12:25 +0200 Subject: feat: `ne_launch` and `LaunchHelpers.fwrk`: PID zero of NeKernel. Signed-off-by: Amlal El Mahrouss --- dev/libDDK/src/ddk_kernel_call_dispatch.S | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'dev/libDDK/src/ddk_kernel_call_dispatch.S') diff --git a/dev/libDDK/src/ddk_kernel_call_dispatch.S b/dev/libDDK/src/ddk_kernel_call_dispatch.S index 7b7a26cb..a607fe40 100644 --- a/dev/libDDK/src/ddk_kernel_call_dispatch.S +++ b/dev/libDDK/src/ddk_kernel_call_dispatch.S @@ -21,10 +21,11 @@ __ke_call_dispatch: push rbp mov rbp, rsp + /* registers have already been pushed. */ + int kKernelCallTrapId pop rbp - ret #elif defined(__DDK_POWER64__) -- cgit v1.2.3