feat! ddk -> libDDK, use syscall on AMD64.

Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org>

20 files changed, 10 insertions, 4 deletions

diff --git a/CODEOWNERS b/CODEOWNERS
index bf706bfd..37576176 100644
--- a/CODEOWNERS
+++ b/CODEOWNERS
@@ -1,7 +1,7 @@
 # boot, user, and kernel are owned by amlal@nekernel.org.

 /dev/kernel/ @amlel-el-mahrouss

 /dev/boot/ @amlel-el-mahrouss

-/dev/ddk/ @amlel-el-mahrouss

+/dev/libDDK/ @amlel-el-mahrouss

 /dev/libMsg/ @0xf00sec

 /dev/libSystem/ @0xf00sec

 # some other parts (tools, frameworks) need ownership too.
\ No newline at end of file
diff --git a/README.md b/README.md
index 0557f531..e23d92df 100644
--- a/README.md
+++ b/README.md
@@ -71,7 +71,7 @@ cd nekernel
 
 - `dev/kernel/` — Core kernel source (scheduling, memory, VFS, drivers)
 - `dev/boot/` — Bootloader, platform bring-up, and early system code
-- `dev/ddk/` — Driver Development Kit (DDK) and sample drivers
+- `dev/libDDK/` — Driver Development Kit (DDK) and sample drivers
 - `dev/libSystem/` — Userland system call interface and runtime
 - `public/tools/` — CLI tools (mkfs, fsck, open, manual, etc.)
 - `public/frameworks/` — Userland frameworks (CoreFoundation, DiskImage, etc.)
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