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, 37 insertions, 0 deletions

diff --git a/dev/ddk/src/ddk_io.c b/dev/ddk/src/ddk_io.c
new file mode 100644
index 00000000..0e10a0ad
--- /dev/null
+++ b/dev/ddk/src/ddk_io.c
@@ -0,0 +1,37 @@
+/* -------------------------------------------
+
+	Copyright Amlal EL Mahrouss.
+
+	Purpose: DDK Text I/O.
+
+------------------------------------------- */
+
+#include <ddk/io.h>
+
+DDK_EXTERN void kputc(const char ch)
+{
+	char assembled[2] = {0};
+	assembled[0]	  = ch;
+	assembled[1]	  = 0;
+
+	ke_call("ke_put_string", 1, assembled, 1);
+}
+
+/// @brief print string to UART.
+/// @param message UART to transmit.
+DDK_EXTERN void kprint(const char* message)
+{
+	if (!message)
+		return;
+	if (*message == 0)
+		return;
+
+	size_t index = 0;
+	size_t len	 = kstrlen(message);
+
+	while (index < len)
+	{
+		kputc(message[index]);
+		++index;
+	}
+}