From d48b2faedce25990b83076cfd71e713b222da25a Mon Sep 17 00:00:00 2001 From: Amlal El Mahrouss Date: Thu, 16 Oct 2025 11:58:48 +0200 Subject: feat: `ne_launch`: cli application - and new framework. feat: `ddk`: feat: api! breaking api changes - for v0.0.7 NeKernel. Signed-off-by: Amlal El Mahrouss --- dev/libDDK/src/ddk_dev.c | 6 +++--- dev/libDDK/src/ddk_io.c | 4 ++-- 2 files changed, 5 insertions(+), 5 deletions(-) (limited to 'dev/libDDK/src') diff --git a/dev/libDDK/src/ddk_dev.c b/dev/libDDK/src/ddk_dev.c index d20684aa..c0396eb5 100644 --- a/dev/libDDK/src/ddk_dev.c +++ b/dev/libDDK/src/ddk_dev.c @@ -10,15 +10,15 @@ #include /// @brief Open a new binary device from path. -DDK_EXTERN DDK_DEVICE_PTR open(const char* devicePath) { +DDK_EXTERN DDK_DEVICE_PTR kopen_dev(const char* devicePath) { if (nil == devicePath) return nil; - return ke_call_dispatch("dk_open_dev", 1, (void*) devicePath, kstrlen(devicePath)); + 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 close(DDK_DEVICE_PTR 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)); diff --git a/dev/libDDK/src/ddk_io.c b/dev/libDDK/src/ddk_io.c index 825e82a7..ab0dd624 100644 --- a/dev/libDDK/src/ddk_io.c +++ b/dev/libDDK/src/ddk_io.c @@ -1,6 +1,6 @@ /* ------------------------------------------- - libDDK. + libDDK - Device Driver Kit Copyright 2025 - Amlal El Mahrouss and NeKernel contributors. File: ddk_io.c @@ -24,7 +24,7 @@ DDK_EXTERN void kputc(const char ch) { /// @param message UART to transmit. DDK_EXTERN void kprint(const char* message) { if (nil == message) return; - if (*message == 0) return; + if (*message == '\0') return; size_t index = 0; size_t len = kstrlen(message); -- cgit v1.2.3