feat(kernel): add ddk.sys to the build flow, finished the mk_fwrk CLI.

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

1 files changed, 4 insertions, 4 deletions

diff --git a/dev/ddk/src/ddk_rt_cxx.cc b/dev/ddk/src/ddk_rt_cxx.cc
index 7daf0fcc..3d57e2b9 100644
--- a/dev/ddk/src/ddk_rt_cxx.cc
+++ b/dev/ddk/src/ddk_rt_cxx.cc
@@ -9,17 +9,17 @@
 #include <DDKKit/ddk.h>
 
 void* operator new(size_t sz) {
-  return kalloc(sz);
+  return ::kalloc(sz);
 }
 
 void operator delete(void* ptr) {
-  kfree(ptr);
+  ::kfree(ptr);
 }
 
 void* operator new[](size_t sz) {
-  return kalloc(sz);
+  return ::kalloc(sz);
 }
 
 void operator delete[](void* ptr) {
-  kfree(ptr);
+  ::kfree(ptr);
 }