feat: ddk!: Breaking changes, the DDK has been reworked in C++ instead.

chore: public, kernel: fixes and important patches.

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

1 files changed, 17 insertions, 0 deletions

diff --git a/src/libDDK/DriverKit/IO.h b/src/libDDK/DriverKit/IO.h
new file mode 100644
index 00000000..060f7f9b
--- /dev/null
+++ b/src/libDDK/DriverKit/IO.h
@@ -0,0 +1,17 @@
+// Copyright 2024-2026, Amlal El Mahrouss (amlal@nekernel.org)
+// Licensed under the Apache License, Version 2.0 (see LICENSE file)
+// Official repository: https://github.com/nekernel-org/nekernel
+
+#ifndef DRIVERKIT_IO_H
+#define DRIVERKIT_IO_H
+
+#include <DriverKit/String.h>
+
+/// @brief print character into UART.
+DDK_EXTERN void kputc(const char ch);
+
+/// @brief print string to UART.
+/// @param message string to transmit to UART.
+DDK_EXTERN void kprint(const char* message);
+
+#endif