1 files changed, 0 insertions, 27 deletions
diff --git a/dev/libDDK/src/ddk_dev.c b/dev/libDDK/src/ddk_dev.c
deleted file mode 100644
index 64ecefb6..00000000
--- a/dev/libDDK/src/ddk_dev.c
+++ /dev/null
@@ -1,27 +0,0 @@
-/* ========================================
-
-  Copyright Amlal El Mahrouss.
-
-  Purpose: DDK Text I/O.
-
-======================================== */
-
-#include <DriverKit/dev.h>
-#include <DriverKit/str.h>
-
-/// @brief Open a new binary device from path.
-DDK_EXTERN DDK_DEVICE_PTR kopen_dev(const char* devicePath) {
-  if (nil == devicePath) return nil;
-
-  return (DDK_DEVICE_PTR) ke_call_dispatch("dk_open_dev", 1, (void*) devicePath,
-                                           kstrlen(devicePath));
-}
-
-/// @brief Close any device.
-/// @param device valid device.
-DDK_EXTERN BOOL kclose_dev(DDK_DEVICE_PTR device) {
-  if (nil == device) return NO;
-
-  ke_call_dispatch("dk_close_dev", 1, device, sizeof(DDK_DEVICE));
-  return YES;
-}