18 files changed, 8 insertions, 2 deletions
diff --git a/dev/boot/amd64-desktop.make b/dev/boot/amd64-desktop.make
index 4b6a879c..443e5677 100644
--- a/dev/boot/amd64-desktop.make
+++ b/dev/boot/amd64-desktop.make
@@ -94,7 +94,7 @@ all: compile-amd64
 	$(COPY) ./modules/BootNet/$(BOOTNET) src/root/$(BOOTNET)
 	$(COPY) ../libSystem/$(SCIKIT) src/root/$(SCIKIT)
 	$(COPY) src/$(BOOTLOADER) src/root/$(BOOTLOADER)
-	$(COPY) ../ddk/$(DDK) src/root/$(DDK)
+	$(COPY) ../libDDK/$(DDK) src/root/$(DDK)
 
 .PHONY: disk
 disk:
diff --git a/dev/ddk/DriverKit/ddk.h b/dev/libDDK/DriverKit/ddk.h
index 254137f9..254137f9 100644
--- a/dev/ddk/DriverKit/ddk.h
+++ b/dev/libDDK/DriverKit/ddk.h
diff --git a/dev/ddk/DriverKit/dev.h b/dev/libDDK/DriverKit/dev.h
index adb1c1d0..adb1c1d0 100644
--- a/dev/ddk/DriverKit/dev.h
+++ b/dev/libDDK/DriverKit/dev.h
diff --git a/dev/ddk/DriverKit/io.h b/dev/libDDK/DriverKit/io.h
index 805696e6..805696e6 100644
--- a/dev/ddk/DriverKit/io.h
+++ b/dev/libDDK/DriverKit/io.h
diff --git a/dev/ddk/DriverKit/macros.h b/dev/libDDK/DriverKit/macros.h
index 9b7b3d50..9b7b3d50 100644
--- a/dev/ddk/DriverKit/macros.h
+++ b/dev/libDDK/DriverKit/macros.h
diff --git a/dev/ddk/DriverKit/net.h b/dev/libDDK/DriverKit/net.h
index 63f89367..63f89367 100644
--- a/dev/ddk/DriverKit/net.h
+++ b/dev/libDDK/DriverKit/net.h
diff --git a/dev/ddk/DriverKit/str.h b/dev/libDDK/DriverKit/str.h
index b2c0ce72..b2c0ce72 100644
--- a/dev/ddk/DriverKit/str.h
+++ b/dev/libDDK/DriverKit/str.h
diff --git a/dev/ddk/ddk.json b/dev/libDDK/ddk.json
index ffc05f5f..ffc05f5f 100644
--- a/dev/ddk/ddk.json
+++ b/dev/libDDK/ddk.json
diff --git a/dev/ddk/docs/SPECIFICATION_DDK.md b/dev/libDDK/docs/SPECIFICATION_DDK.md
index d7d333d3..d7d333d3 100644
--- a/dev/ddk/docs/SPECIFICATION_DDK.md
+++ b/dev/libDDK/docs/SPECIFICATION_DDK.md
diff --git a/dev/ddk/obj/.gitkeep b/dev/libDDK/obj/.gitkeep
index e69de29b..e69de29b 100644
--- a/dev/ddk/obj/.gitkeep
+++ b/dev/libDDK/obj/.gitkeep
diff --git a/dev/ddk/src/ddk_abi_cxx.cc b/dev/libDDK/src/ddk_abi_cxx.cc
index fc590c0e..fc590c0e 100644
--- a/dev/ddk/src/ddk_abi_cxx.cc
+++ b/dev/libDDK/src/ddk_abi_cxx.cc
diff --git a/dev/ddk/src/ddk_alloc.c b/dev/libDDK/src/ddk_alloc.c
index 08527f4d..08527f4d 100644
--- a/dev/ddk/src/ddk_alloc.c
+++ b/dev/libDDK/src/ddk_alloc.c
diff --git a/dev/ddk/src/ddk_dev.c b/dev/libDDK/src/ddk_dev.c
index 32ec2442..32ec2442 100644
--- a/dev/ddk/src/ddk_dev.c
+++ b/dev/libDDK/src/ddk_dev.c
diff --git a/dev/ddk/src/ddk_io.c b/dev/libDDK/src/ddk_io.c
index c6cdd457..c6cdd457 100644
--- a/dev/ddk/src/ddk_io.c
+++ b/dev/libDDK/src/ddk_io.c
diff --git a/dev/ddk/src/ddk_kernel_call.c b/dev/libDDK/src/ddk_kernel_call.c
index 1ac0a0aa..1ac0a0aa 100644
--- a/dev/ddk/src/ddk_kernel_call.c
+++ b/dev/libDDK/src/ddk_kernel_call.c
diff --git a/dev/ddk/src/ddk_kernel_call_dispatch.S b/dev/libDDK/src/ddk_kernel_call_dispatch.S
index c66d9d49..dfe2d929 100644
--- a/dev/ddk/src/ddk_kernel_call_dispatch.S
+++ b/dev/libDDK/src/ddk_kernel_call_dispatch.S
@@ -14,7 +14,13 @@
 
 /* args rcx, rdx, r8, r9 */
 __ke_call_dispatch:
-    int $0x33
+    pushq rbp
+    movq rbp, rsp
+
+    syscall
+
+    popq rbp
+
     ret
 
 #elif defined(__DDK_POWER64__)
diff --git a/dev/ddk/src/ddk_str.c b/dev/libDDK/src/ddk_str.c
index 514cddc7..514cddc7 100644
--- a/dev/ddk/src/ddk_str.c
+++ b/dev/libDDK/src/ddk_str.c
diff --git a/dev/ddk/src/ddk_ver.c b/dev/libDDK/src/ddk_ver.c
index 9be3134e..9be3134e 100644
--- a/dev/ddk/src/ddk_ver.c
+++ b/dev/libDDK/src/ddk_ver.c