From 2187ed0f67e21c6425b8770ff52ca02269a21a9d Mon Sep 17 00:00:00 2001
From: Amlal El Mahrouss <amlal@nekernel.org>
Date: Wed, 26 Nov 2025 00:08:26 -0500
Subject: kernel: a long set of kernel patches.

Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org>
---
 src/libDDK/DriverKit/c++/driver_base.h | 48 ++++++++++++++++++++++++++++++++++
 1 file changed, 48 insertions(+)
 create mode 100644 src/libDDK/DriverKit/c++/driver_base.h

(limited to 'src/libDDK/DriverKit/c++/driver_base.h')

diff --git a/src/libDDK/DriverKit/c++/driver_base.h b/src/libDDK/DriverKit/c++/driver_base.h
new file mode 100644
index 00000000..89cc04d8
--- /dev/null
+++ b/src/libDDK/DriverKit/c++/driver_base.h
@@ -0,0 +1,48 @@
+/* ========================================
+
+   Copyright Amlal El Mahrouss 2025, licensed under the Apache 2.0 license.
+
+   FILE: driver_base.h
+   PURPOSE: IDriverBase and friends.
+
+   ======================================== */
+
+#pragma once
+
+#include <CompilerKit/CompilerKit.h>
+#include <libDDK/DriverKit/macros.h>
+
+#define DKI_DRIVER_IMPL \
+  final:                \
+  public                \
+  ::Kernel::DDK::IDriverBase
+
+/// @author Amlal El Mahrouss
+
+namespace Kernel::DDK {
+class IDriverBase {
+ public:
+  explicit IDriverBase() = default;
+  virtual ~IDriverBase() = default;
+
+  NE_COPY_DEFAULT(IDriverBase);
+
+  using PtrType = VoidPtr;
+
+  virtual BOOL    IsCastable() { return NO; }
+  virtual constexpr BOOL    IsActive() { return NO; }
+  virtual PtrType Leak() { return nullptr; }
+  virtual constexpr Int32   Type() { return 0; }
+};
+
+/// @brief This concept requires the Driver to be IDriverBase compliant.
+template <typename T>
+concept IsValidDriver = requires(T a) {
+  { a.IsActive() && a.Type() > 0 };
+};
+
+/// @brief Consteval helper to detect whether a template is truly based on IDriverBase.
+/// @note This helper is consteval only.
+template<IsValidDriver T>
+inline consteval void ce_ddk_is_valid(T) {}
+}  // namespace Kernel::DDK
-- 
cgit v1.2.3