add: new driver device kit API. (DDK)

refactor: rename SCIKit -> user (then libuser.dylib)
boot/modules/netboot: fixed compilation for amd64.

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

1 files changed, 18 insertions, 0 deletions

diff --git a/dev/ddk/io.h b/dev/ddk/io.h
new file mode 100644
index 00000000..cfd6d2d2
--- /dev/null
+++ b/dev/ddk/io.h
@@ -0,0 +1,18 @@
+/* -------------------------------------------
+
+	Copyright Amlal EL Mahrouss.
+
+	Purpose: DDK Text I/O.
+
+------------------------------------------- */
+
+#pragma once
+
+#include <ddk/str.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);