feat(kernel): see below for the commit's details.

what?
 - UserProcessScheduler and CoreProcessScheduler have been
extended for FILE_TREE and also HEAP_TREE structures.
 - DDK device's API will use dk_ calls instead of sk_ calls.
 - SIGTRAP and Interrupt handlers have been fixed to handle when no
   process is being run, and the kernel is instead raising the
interrupt.
 - Add file for HeFS formating in DiskImage.fwrk
 - Replace generic handler with breakpoint handler in int 3.

why?
 - These changes are bug fixes and improvements.

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

1 files changed, 2 insertions, 2 deletions

diff --git a/dev/ddk/src/ddk_dev.c b/dev/ddk/src/ddk_dev.c
index 281e48c7..4cd7dcdd 100644
--- a/dev/ddk/src/ddk_dev.c
+++ b/dev/ddk/src/ddk_dev.c
@@ -13,7 +13,7 @@
 DDK_EXTERN DDK_DEVICE_PTR open(const char* devicePath) {
   if (!devicePath) return nil;
 
-  return ke_call("sk_open_dev", 1, (void*) devicePath, kstrlen(devicePath));
+  return ke_call("dk_open_dev", 1, (void*) devicePath, kstrlen(devicePath));
 }
 
 /// @brief Close any device.
@@ -21,6 +21,6 @@ DDK_EXTERN DDK_DEVICE_PTR open(const char* devicePath) {
 DDK_EXTERN BOOL close(DDK_DEVICE_PTR device) {
   if (!device) return NO;
 
-  ke_call("sk_close_dev", 1, device, sizeof(DDK_DEVICE));
+  ke_call("dk_close_dev", 1, device, sizeof(DDK_DEVICE));
   return YES;
 }