summaryrefslogtreecommitdiffhomepage
path: root/dev/libDDK
diff options
context:
space:
mode:
Diffstat (limited to 'dev/libDDK')
-rw-r--r--dev/libDDK/DriverKit/ddk.h4
-rw-r--r--dev/libDDK/DriverKit/dev.h4
-rw-r--r--dev/libDDK/DriverKit/dki/contract.h4
-rw-r--r--dev/libDDK/DriverKit/io.h4
-rw-r--r--dev/libDDK/DriverKit/macros.h6
-rw-r--r--dev/libDDK/DriverKit/net.h4
-rw-r--r--dev/libDDK/DriverKit/str.h4
-rw-r--r--dev/libDDK/src/ddk_abi_cxx.cc4
-rw-r--r--dev/libDDK/src/ddk_alloc.c4
-rw-r--r--dev/libDDK/src/ddk_dev.c7
-rw-r--r--dev/libDDK/src/ddk_io.c4
-rw-r--r--dev/libDDK/src/ddk_kernel_call.c4
-rw-r--r--dev/libDDK/src/ddk_str.c4
-rw-r--r--dev/libDDK/src/ddk_ver.c4
14 files changed, 31 insertions, 30 deletions
diff --git a/dev/libDDK/DriverKit/ddk.h b/dev/libDDK/DriverKit/ddk.h
index af0cc829..45f7d356 100644
--- a/dev/libDDK/DriverKit/ddk.h
+++ b/dev/libDDK/DriverKit/ddk.h
@@ -1,11 +1,11 @@
-/* -------------------------------------------
+/* ========================================
Copyright Amlal El Mahrouss 2025, licensed under the Apache 2.0 license.
FILE: ddk.h
PURPOSE: DDK Driver model base header.
-------------------------------------------- */
+======================================== */
#pragma once
diff --git a/dev/libDDK/DriverKit/dev.h b/dev/libDDK/DriverKit/dev.h
index 28f3617d..a88a00dd 100644
--- a/dev/libDDK/DriverKit/dev.h
+++ b/dev/libDDK/DriverKit/dev.h
@@ -1,11 +1,11 @@
-/* -------------------------------------------
+/* ========================================
Copyright Amlal El Mahrouss.
File: dev.h
Purpose: DDK device support.
-------------------------------------------- */
+======================================== */
#pragma once
diff --git a/dev/libDDK/DriverKit/dki/contract.h b/dev/libDDK/DriverKit/dki/contract.h
index 99acbf8c..81b16e48 100644
--- a/dev/libDDK/DriverKit/dki/contract.h
+++ b/dev/libDDK/DriverKit/dki/contract.h
@@ -1,11 +1,11 @@
-/* -------------------------------------------
+/* ========================================
Copyright Amlal El Mahrouss 2025, licensed under the Apache 2.0 license.
FILE: ddk.h
PURPOSE: Driver Kernel Interface Model base header.
- ------------------------------------------- */
+ ======================================== */
#pragma once
diff --git a/dev/libDDK/DriverKit/io.h b/dev/libDDK/DriverKit/io.h
index 805696e6..58b625ac 100644
--- a/dev/libDDK/DriverKit/io.h
+++ b/dev/libDDK/DriverKit/io.h
@@ -1,10 +1,10 @@
-/* -------------------------------------------
+/* ========================================
Copyright Amlal El Mahrouss.
Purpose: DDK Text I/O.
-------------------------------------------- */
+======================================== */
#pragma once
diff --git a/dev/libDDK/DriverKit/macros.h b/dev/libDDK/DriverKit/macros.h
index e5aa4b96..7fd1403b 100644
--- a/dev/libDDK/DriverKit/macros.h
+++ b/dev/libDDK/DriverKit/macros.h
@@ -1,11 +1,11 @@
-/* -------------------------------------------
+/* ========================================
Copyright 2025 Amlal El Mahrouss.
FILE: ddk.h
PURPOSE: DDK Driver model base header.
-------------------------------------------- */
+======================================== */
#pragma once
@@ -37,7 +37,7 @@
#if defined(__cplusplus)
#define DDK_EXTERN extern "C"
#else
-#define DDK_EXTERN
+#define DDK_EXTERN
#endif
#endif
diff --git a/dev/libDDK/DriverKit/net.h b/dev/libDDK/DriverKit/net.h
index 63f89367..5dfe6374 100644
--- a/dev/libDDK/DriverKit/net.h
+++ b/dev/libDDK/DriverKit/net.h
@@ -1,11 +1,11 @@
-/* -------------------------------------------
+/* ========================================
Copyright Amlal El Mahrouss.
FILE: net.h
PURPOSE: Network model base header.
-------------------------------------------- */
+======================================== */
#pragma once
diff --git a/dev/libDDK/DriverKit/str.h b/dev/libDDK/DriverKit/str.h
index b2c0ce72..6409b1a7 100644
--- a/dev/libDDK/DriverKit/str.h
+++ b/dev/libDDK/DriverKit/str.h
@@ -1,10 +1,10 @@
-/* -------------------------------------------
+/* ========================================
Copyright Amlal El Mahrouss.
Purpose: DDK Strings.
-------------------------------------------- */
+======================================== */
#pragma once
diff --git a/dev/libDDK/src/ddk_abi_cxx.cc b/dev/libDDK/src/ddk_abi_cxx.cc
index fc590c0e..196f7f6a 100644
--- a/dev/libDDK/src/ddk_abi_cxx.cc
+++ b/dev/libDDK/src/ddk_abi_cxx.cc
@@ -1,4 +1,4 @@
-/* -------------------------------------------
+/* ========================================
DDK
Copyright Amlal El Mahrouss.
@@ -6,7 +6,7 @@
Author: Amlal El Mahrouss
Purpose: DDK C++ ABI.
-------------------------------------------- */
+======================================== */
#include <DriverKit/ddk.h>
diff --git a/dev/libDDK/src/ddk_alloc.c b/dev/libDDK/src/ddk_alloc.c
index 08527f4d..09f3034f 100644
--- a/dev/libDDK/src/ddk_alloc.c
+++ b/dev/libDDK/src/ddk_alloc.c
@@ -1,10 +1,10 @@
-/* -------------------------------------------
+/* ========================================
Copyright Amlal El Mahrouss.
Purpose: DDK allocator.
-------------------------------------------- */
+======================================== */
#include <DriverKit/ddk.h>
diff --git a/dev/libDDK/src/ddk_dev.c b/dev/libDDK/src/ddk_dev.c
index c0396eb5..64ecefb6 100644
--- a/dev/libDDK/src/ddk_dev.c
+++ b/dev/libDDK/src/ddk_dev.c
@@ -1,10 +1,10 @@
-/* -------------------------------------------
+/* ========================================
Copyright Amlal El Mahrouss.
Purpose: DDK Text I/O.
-------------------------------------------- */
+======================================== */
#include <DriverKit/dev.h>
#include <DriverKit/str.h>
@@ -13,7 +13,8 @@
DDK_EXTERN DDK_DEVICE_PTR kopen_dev(const char* devicePath) {
if (nil == devicePath) return nil;
- return (DDK_DEVICE_PTR)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.
diff --git a/dev/libDDK/src/ddk_io.c b/dev/libDDK/src/ddk_io.c
index ab0dd624..07287b91 100644
--- a/dev/libDDK/src/ddk_io.c
+++ b/dev/libDDK/src/ddk_io.c
@@ -1,4 +1,4 @@
-/* -------------------------------------------
+/* ========================================
libDDK - Device Driver Kit
Copyright 2025 - Amlal El Mahrouss and NeKernel contributors.
@@ -6,7 +6,7 @@
File: ddk_io.c
Purpose: DDK Text I/O.
-------------------------------------------- */
+======================================== */
#include <DriverKit/io.h>
diff --git a/dev/libDDK/src/ddk_kernel_call.c b/dev/libDDK/src/ddk_kernel_call.c
index 5976665b..92662ea5 100644
--- a/dev/libDDK/src/ddk_kernel_call.c
+++ b/dev/libDDK/src/ddk_kernel_call.c
@@ -1,4 +1,4 @@
-/* -------------------------------------------
+/* ========================================
DDK
Copyright Amlal El Mahrouss.
@@ -6,7 +6,7 @@
Author: Amlal El Mahrouss
Purpose: DDK kernel dispatch system.
-------------------------------------------- */
+======================================== */
#include <DriverKit/ddk.h>
#include <stdarg.h>
diff --git a/dev/libDDK/src/ddk_str.c b/dev/libDDK/src/ddk_str.c
index 1e2fde19..3021f84a 100644
--- a/dev/libDDK/src/ddk_str.c
+++ b/dev/libDDK/src/ddk_str.c
@@ -1,10 +1,10 @@
-/* -------------------------------------------
+/* ========================================
Copyright Amlal El Mahrouss.
Purpose: DDK String API.
-------------------------------------------- */
+======================================== */
#include <DriverKit/str.h>
diff --git a/dev/libDDK/src/ddk_ver.c b/dev/libDDK/src/ddk_ver.c
index 9be3134e..3679bdef 100644
--- a/dev/libDDK/src/ddk_ver.c
+++ b/dev/libDDK/src/ddk_ver.c
@@ -1,10 +1,10 @@
-/* -------------------------------------------
+/* ========================================
Copyright Amlal El Mahrouss.
Purpose: DDK version system.
-------------------------------------------- */
+======================================== */
#include <DriverKit/ddk.h>