From e8650e43ac563d451c835b1a01c0241929cf3c2c Mon Sep 17 00:00:00 2001
From: Max Raulea <max.raulea@gmail.com>
Date: Sat, 1 Aug 2026 16:51:58 +0200
Subject: [PATCH 1/6] Linux kernel module build file

---
 hyperdbg/Kbuild | 231 ++++++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 231 insertions(+)
 create mode 100644 hyperdbg/Kbuild

diff --git a/hyperdbg/Kbuild b/hyperdbg/Kbuild
new file mode 100644
index 00000000..9ebba79a
--- /dev/null
+++ b/hyperdbg/Kbuild
@@ -0,0 +1,231 @@
+# SPDX-License-Identifier: GPL-3.0
+#
+# Kbuild for the HyperDbg Linux kernel module.
+#
+# This file is read by the kernel build system when it is invoked with
+# M= pointing at this directory (the hyperdbg/ repo root):
+#
+#     make -C /lib/modules/$(uname -r)/build M=<hyperdbg root> modules
+#
+# It is driven by linux/kernel/Makefile. kbuild prefers a file named "Kbuild"
+# over "Makefile" in the M= directory, so the CMake-generated ./Makefile (which
+# builds the *user-mode* CLI) is left untouched — the two build systems coexist.
+#
+# ---------------------------------------------------------------------------
+# DESIGN
+# ---------------------------------------------------------------------------
+# Windows builds SEVEN separate kernel binaries (hyperkd.sys + hyperhv/hyperlog/
+# hyperevade/hypertrace/hyperperf/kdserial as KMDF "export driver" DLLs that link
+# against each other's import .libs). Linux has no equivalent of that idiom, so
+# everything collapses into a SINGLE module: HyperDbg.ko. All the cross-module
+# __declspec(dllexport/dllimport) plumbing and the DllInitialize/DllUnload unload
+# trick simply disappear (one link unit, all symbols internal). kdserial is
+# dropped entirely (Windows-only serial transport).
+#
+# Because M= is the repo root, every source the module needs already lives under
+# it — no copying/symlinking, and full relative object paths mean the several
+# same-named files (Common.c, DpcRoutines.c, UnloadDll.c, Broadcast.c ...) never
+# collide.
+#
+# ---------------------------------------------------------------------------
+# STATUS
+# ---------------------------------------------------------------------------
+# Only the objects under "ACTIVE" below actually compile as kernel code today
+# (the Platform* memory/intrinsic wrappers, proven by linux/mock/kernel). Every
+# other object is listed but COMMENTED OUT: the source still targets the Windows
+# WDK (ntoskrnl/WDF/ntifs.h) and will not compile until its dependencies are
+# routed through the platform layer. Uncomment each line as its translation unit
+# is ported — the module still links and loads in the meantime.
+#
+# The list mirrors the .c files actually present on disk (the per-module
+# CMakeLists.txt files are stale and were NOT trusted).
+# ===========================================================================
+
+obj-m += HyperDbg.o
+
+# Include paths (union; harmless for the commented-out sources).
+#   linux/kernel -> the unified kernel pch.h that every `#include "pch.h"` hits
+#   include      -> SDK/, platform/, config/, macros/, components/ roots
+ccflags-y += -I$(src)/linux/kernel
+ccflags-y += -I$(src)/include
+ccflags-y += -I$(src)/dependencies
+
+# Force default C dialect etc. can be added here later, e.g.:
+# ccflags-y += -Wno-declaration-after-statement
+#
+# When the module translation units come online they all `#include "pch.h"`,
+# which resolves to linux/kernel/pch.h via the -I above. If a module header dir
+# that itself contains a pch.h (e.g. hyperkd/header) is ever added to ccflags,
+# put it AFTER -I$(src)/linux/kernel or the wrong pch wins.
+
+# ===========================================================================
+# ACTIVE — compiles + links today
+# ===========================================================================
+HyperDbg-objs += linux/kernel/Entry.o
+HyperDbg-objs += include/platform/kernel/code/PlatformMem.o
+HyperDbg-objs += include/platform/kernel/code/PlatformIntrinsics.o
+HyperDbg-objs += include/platform/kernel/code/PlatformIntrinsicsVmx.o
+
+# ===========================================================================
+# PENDING — uncomment as each is ported off the WDK
+# ===========================================================================
+
+# --- platform/kernel (OS abstraction layer) --------------------------------
+HyperDbg-objs += include/platform/kernel/code/PlatformBroadcast.o
+HyperDbg-objs += include/platform/kernel/code/PlatformCpu.o
+HyperDbg-objs += include/platform/kernel/code/PlatformDbg.o
+HyperDbg-objs += include/platform/kernel/code/PlatformDpc.o
+HyperDbg-objs += include/platform/kernel/code/PlatformEvent.o
+HyperDbg-objs += include/platform/kernel/code/PlatformIo.o
+HyperDbg-objs += include/platform/kernel/code/PlatformIrql.o
+HyperDbg-objs += include/platform/kernel/code/PlatformProcess.o
+HyperDbg-objs += include/platform/kernel/code/PlatformSpinlock.o
+HyperDbg-objs += include/platform/kernel/code/PlatformTime.o
+
+# --- components (shared, header-driven) ------------------------------------
+# HyperDbg-objs += include/components/spinlock/code/Spinlock.o
+# HyperDbg-objs += include/components/optimizations/code/AvlTree.o
+# HyperDbg-objs += include/components/optimizations/code/BinarySearch.o
+# HyperDbg-objs += include/components/optimizations/code/InsertionSort.o
+# HyperDbg-objs += include/components/optimizations/code/OptimizationsExamples.o
+# HyperDbg-objs += include/components/callback/code/HyperLogCallback.o
+
+# --- script-eval (script engine kernel eval) -------------------------------
+# HyperDbg-objs += script-eval/code/Functions.o
+# HyperDbg-objs += script-eval/code/Keywords.o
+# HyperDbg-objs += script-eval/code/PseudoRegisters.o
+# HyperDbg-objs += script-eval/code/Regs.o
+# HyperDbg-objs += script-eval/code/ScriptEngineEval.o
+
+# --- hyperlog (message logging/tracing) ------------------------------------
+# HyperDbg-objs += hyperlog/code/Logging.o
+# HyperDbg-objs += hyperlog/code/UnloadDll.o
+
+# --- hyperhv (hypervisor: VMX/EPT) -----------------------------------------
+# HyperDbg-objs += hyperhv/code/broadcast/Broadcast.o
+# HyperDbg-objs += hyperhv/code/broadcast/DpcRoutines.o
+# HyperDbg-objs += hyperhv/code/common/Bitwise.o
+# HyperDbg-objs += hyperhv/code/common/Common.o
+# HyperDbg-objs += hyperhv/code/common/UnloadDll.o
+# HyperDbg-objs += hyperhv/code/components/registers/DebugRegisters.o
+# HyperDbg-objs += hyperhv/code/devices/Apic.o
+# HyperDbg-objs += hyperhv/code/devices/Pci.o
+# HyperDbg-objs += hyperhv/code/disassembler/Disassembler.o
+# HyperDbg-objs += hyperhv/code/disassembler/ZydisKernel.o
+# HyperDbg-objs += hyperhv/code/features/CompatibilityChecks.o
+# HyperDbg-objs += hyperhv/code/features/DirtyLogging.o
+# HyperDbg-objs += hyperhv/code/globals/GlobalVariableManagement.o
+# HyperDbg-objs += hyperhv/code/hooks/ept-hook/EptHook.o
+# HyperDbg-objs += hyperhv/code/hooks/ept-hook/ExecTrap.o
+# HyperDbg-objs += hyperhv/code/hooks/ept-hook/ModeBasedExecHook.o
+# HyperDbg-objs += hyperhv/code/hooks/syscall-hook/EferHook.o
+# HyperDbg-objs += hyperhv/code/hooks/syscall-hook/SyscallCallback.o
+# HyperDbg-objs += hyperhv/code/interface/Callback.o
+# HyperDbg-objs += hyperhv/code/interface/Configuration.o
+# HyperDbg-objs += hyperhv/code/interface/DirectVmcall.o
+# HyperDbg-objs += hyperhv/code/interface/Dispatch.o
+# HyperDbg-objs += hyperhv/code/interface/Export.o
+# HyperDbg-objs += hyperhv/code/interface/HyperEvade.o
+# HyperDbg-objs += hyperhv/code/memory/AddressCheck.o
+# HyperDbg-objs += hyperhv/code/memory/Conversion.o
+# HyperDbg-objs += hyperhv/code/memory/Layout.o
+# HyperDbg-objs += hyperhv/code/memory/MemoryManager.o
+# HyperDbg-objs += hyperhv/code/memory/MemoryMapper.o
+# HyperDbg-objs += hyperhv/code/memory/Segmentation.o
+# HyperDbg-objs += hyperhv/code/memory/SwitchLayout.o
+# HyperDbg-objs += hyperhv/code/mmio/MmioShadowing.o
+# HyperDbg-objs += hyperhv/code/processor/Idt.o
+# HyperDbg-objs += hyperhv/code/processor/Smm.o
+# HyperDbg-objs += hyperhv/code/vmm/ept/Ept.o
+# HyperDbg-objs += hyperhv/code/vmm/ept/Invept.o
+# HyperDbg-objs += hyperhv/code/vmm/ept/Vpid.o
+# HyperDbg-objs += hyperhv/code/vmm/vmx/Counters.o
+# HyperDbg-objs += hyperhv/code/vmm/vmx/CrossVmcalls.o
+# HyperDbg-objs += hyperhv/code/vmm/vmx/CrossVmexits.o
+# HyperDbg-objs += hyperhv/code/vmm/vmx/Events.o
+# HyperDbg-objs += hyperhv/code/vmm/vmx/Hv.o
+# HyperDbg-objs += hyperhv/code/vmm/vmx/IdtEmulation.o
+# HyperDbg-objs += hyperhv/code/vmm/vmx/IoHandler.o
+# HyperDbg-objs += hyperhv/code/vmm/vmx/ManageRegs.o
+# HyperDbg-objs += hyperhv/code/vmm/vmx/MsrHandlers.o
+# HyperDbg-objs += hyperhv/code/vmm/vmx/Mtf.o
+# HyperDbg-objs += hyperhv/code/vmm/vmx/ProtectedHv.o
+# HyperDbg-objs += hyperhv/code/vmm/vmx/Vmcall.o
+# HyperDbg-objs += hyperhv/code/vmm/vmx/Vmexit.o
+# HyperDbg-objs += hyperhv/code/vmm/vmx/Vmx.o
+# HyperDbg-objs += hyperhv/code/vmm/vmx/VmxBroadcast.o
+# HyperDbg-objs += hyperhv/code/vmm/vmx/VmxMechanisms.o
+# HyperDbg-objs += hyperhv/code/vmm/vmx/VmxRegions.o
+#   hyperhv assembly (MASM -> GAS/.S translation required; not just a build change)
+# HyperDbg-objs += hyperhv/code/assembly/AsmCommon.o
+# HyperDbg-objs += hyperhv/code/assembly/AsmEpt.o
+# HyperDbg-objs += hyperhv/code/assembly/AsmHooks.o
+# HyperDbg-objs += hyperhv/code/assembly/AsmInterruptHandlers.o
+# HyperDbg-objs += hyperhv/code/assembly/AsmSegmentRegs.o
+# HyperDbg-objs += hyperhv/code/assembly/AsmVmexitHandler.o
+# HyperDbg-objs += hyperhv/code/assembly/AsmVmxContextState.o
+# HyperDbg-objs += hyperhv/code/assembly/AsmVmxOperation.o
+
+# --- hyperkd (the driver: device/IOCTL + debugger core) --------------------
+# HyperDbg-objs += hyperkd/code/common/Common.o
+# HyperDbg-objs += hyperkd/code/common/Synchronization.o
+# HyperDbg-objs += hyperkd/code/debugger/broadcast/DpcRoutines.o
+# HyperDbg-objs += hyperkd/code/debugger/broadcast/HaltedBroadcast.o
+# HyperDbg-objs += hyperkd/code/debugger/broadcast/HaltedRoutines.o
+# HyperDbg-objs += hyperkd/code/debugger/commands/BreakpointCommands.o
+# HyperDbg-objs += hyperkd/code/debugger/commands/Callstack.o
+# HyperDbg-objs += hyperkd/code/debugger/commands/DebuggerCommands.o
+# HyperDbg-objs += hyperkd/code/debugger/commands/ExtensionCommands.o
+# HyperDbg-objs += hyperkd/code/debugger/communication/SerialConnection.o
+# HyperDbg-objs += hyperkd/code/debugger/core/Debugger.o
+# HyperDbg-objs += hyperkd/code/debugger/core/DebuggerVmcalls.o
+# HyperDbg-objs += hyperkd/code/debugger/core/HaltedCore.o
+# HyperDbg-objs += hyperkd/code/debugger/events/ApplyEvents.o
+# HyperDbg-objs += hyperkd/code/debugger/events/DebuggerEvents.o
+# HyperDbg-objs += hyperkd/code/debugger/events/Termination.o
+# HyperDbg-objs += hyperkd/code/debugger/events/ValidateEvents.o
+# HyperDbg-objs += hyperkd/code/debugger/kernel-level/Kd.o
+# HyperDbg-objs += hyperkd/code/debugger/memory/Allocations.o
+# HyperDbg-objs += hyperkd/code/debugger/memory/PoolManager.o
+# HyperDbg-objs += hyperkd/code/debugger/meta-events/MetaDispatch.o
+# HyperDbg-objs += hyperkd/code/debugger/meta-events/Tracing.o
+# HyperDbg-objs += hyperkd/code/debugger/objects/Process.o
+# HyperDbg-objs += hyperkd/code/debugger/objects/Thread.o
+# HyperDbg-objs += hyperkd/code/debugger/script-engine/ScriptEngine.o
+# HyperDbg-objs += hyperkd/code/debugger/tests/KernelTests.o
+# HyperDbg-objs += hyperkd/code/debugger/user-level/Attaching.o
+# HyperDbg-objs += hyperkd/code/debugger/user-level/ThreadHolder.o
+# HyperDbg-objs += hyperkd/code/debugger/user-level/Ud.o
+# HyperDbg-objs += hyperkd/code/debugger/user-level/UserAccess.o
+# HyperDbg-objs += hyperkd/code/driver/Driver.o
+# HyperDbg-objs += hyperkd/code/driver/Ioctl.o
+# HyperDbg-objs += hyperkd/code/driver/Loader.o
+#   hyperkd assembly (MASM -> GAS/.S translation required)
+# HyperDbg-objs += hyperkd/code/assembly/AsmDebugger.o
+
+# --- hyperevade (transparency / anti-detection) ----------------------------
+# HyperDbg-objs += hyperevade/code/SyscallFootprints.o
+# HyperDbg-objs += hyperevade/code/Transparency.o
+# HyperDbg-objs += hyperevade/code/UnloadDll.o
+# HyperDbg-objs += hyperevade/code/VmxFootprints.o
+
+# --- hyperperf (PMU) -------------------------------------------------------
+# HyperDbg-objs += hyperperf/code/api/PerfApi.o
+# HyperDbg-objs += hyperperf/code/broadcast/Broadcast.o
+# HyperDbg-objs += hyperperf/code/broadcast/DpcRoutines.o
+# HyperDbg-objs += hyperperf/code/common/UnloadDll.o
+
+# --- hypertrace (LBR / Intel PT) -------------------------------------------
+# HyperDbg-objs += hypertrace/code/api/LbrApi.o
+# HyperDbg-objs += hypertrace/code/api/PtApi.o
+# HyperDbg-objs += hypertrace/code/api/TraceApi.o
+# HyperDbg-objs += hypertrace/code/broadcast/Broadcast.o
+# HyperDbg-objs += hypertrace/code/broadcast/DpcRoutines.o
+# HyperDbg-objs += hypertrace/code/common/UnloadDll.o
+# HyperDbg-objs += hypertrace/code/lbr/Lbr.o
+# HyperDbg-objs += hypertrace/code/pt/Pt.o
+
+# --- zydis (kernel disassembler, needed by hyperhv/disassembler) -----------
+# Built with ZYAN_NO_LIBC;ZYDIS_NO_LIBC;ZYDIS_STATIC_BUILD;ZYCORE_STATIC_BUILD.
+# Enumerate dependencies/zydis/src/*.c + dependencies/zydis/.../zycore/*.c here,
+# or build them into a built-in.a. Deferred until hyperhv compiles.

From be2c96d192f42cc52ecd4eb3d8aa159a4f3723cf Mon Sep 17 00:00:00 2001
From: Max Raulea <max.raulea@gmail.com>
Date: Sat, 1 Aug 2026 16:52:29 +0200
Subject: [PATCH 2/6] Environment header file guards

For the kernel module build some libc header files are not present so we
guard them out for the kernel build
---
 .../include/platform/general/header/Environment.h   | 13 ++++++++++---
 1 file changed, 10 insertions(+), 3 deletions(-)

diff --git a/hyperdbg/include/platform/general/header/Environment.h b/hyperdbg/include/platform/general/header/Environment.h
index 8c2d276a..a09a2992 100644
--- a/hyperdbg/include/platform/general/header/Environment.h
+++ b/hyperdbg/include/platform/general/header/Environment.h
@@ -44,15 +44,22 @@
 #    define _Out_writes_bytes_(x)
 #    define _Inout_updates_bytes_all_(x)
 
+// The following libc headers exist only in user space; a Linux KERNEL build
+// (HYPERDBG_KERNEL_MODE) has no libc, so they are guarded out there. User-mode
+// Linux is unaffected — HYPERDBG_KERNEL_MODE is never defined in that path.
+#    ifndef HYPERDBG_KERNEL_MODE
+
 // wchar_t is a C++ built-in but needs this header in C
-#    include <wchar.h>
+#        include <wchar.h>
 
 // POSIX sleep primitives (usleep) backing the Win32 Sleep() shim below
-#    include <unistd.h>
+#        include <unistd.h>
 
 // DECIMAL_DIG and the FLT/DBL limits (ISO C99 <float.h>); MSVC exposes these
 // transitively through its CRT/pch, glibc needs the explicit include
-#    include <float.h>
+#        include <float.h>
+
+#    endif // !HYPERDBG_KERNEL_MODE
 
 // Windows string/char types
 typedef char         TCHAR;

From 953af9388a163b9e71f48bc68966f8e670fcef27 Mon Sep 17 00:00:00 2001
From: Max Raulea <max.raulea@gmail.com>
Date: Sat, 1 Aug 2026 16:54:08 +0200
Subject: [PATCH 3/6] PlatformCPU Linux Implementation

Filled in the stubs for the windows functions:
KeQueryActiveProcessorCount(0) and KeGetCurrentProcessorNumberEx(NULL).
KeQueryActiveProcessorCount(0) maps one to one to num_online_cpus()
KeGetCurrentProcessorNumberEx(NULL) maps to raw_smp_processor_id(),
however this can also be smp_processor_id(), we have to decide based on
preemption, the latter checks for preemption and throws a warning if it
is executed in preemptible code. (I dont know the kernel code well
enough so this may need some discussion)
---
 hyperdbg/include/platform/kernel/code/PlatformCpu.c | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/hyperdbg/include/platform/kernel/code/PlatformCpu.c b/hyperdbg/include/platform/kernel/code/PlatformCpu.c
index eaece365..9d69e651 100644
--- a/hyperdbg/include/platform/kernel/code/PlatformCpu.c
+++ b/hyperdbg/include/platform/kernel/code/PlatformCpu.c
@@ -29,8 +29,8 @@ PlatformCpuGetActiveProcessorCount(VOID)
 
 #elif defined(__linux__)
 
-#    error "Not yet implemented"
-
+    return num_online_cpus();
+	
 #else
 
 #    error "Unsupported platform"
@@ -52,7 +52,7 @@ PlatformCpuGetCurrentProcessorNumber(VOID)
 
 #elif defined(__linux__)
 
-#    error "Not yet implemented"
+    return raw_smp_processor_id();
 
 #else
 

From 652721be62f759535d59fec5e603923076bc62b0 Mon Sep 17 00:00:00 2001
From: Max Raulea <max.raulea@gmail.com>
Date: Sat, 1 Aug 2026 17:06:58 +0200
Subject: [PATCH 4/6] Added Printk in rhw platformDBG file

For debug printing added printk for linux kernel logging.
---
 hyperdbg/include/platform/kernel/code/PlatformDbg.c | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

diff --git a/hyperdbg/include/platform/kernel/code/PlatformDbg.c b/hyperdbg/include/platform/kernel/code/PlatformDbg.c
index f1f866ec..17543cbe 100644
--- a/hyperdbg/include/platform/kernel/code/PlatformDbg.c
+++ b/hyperdbg/include/platform/kernel/code/PlatformDbg.c
@@ -33,9 +33,10 @@ PlatformDbgPrint(const CHAR * Format, ...)
     va_end(ArgList);
 
 #elif defined(__linux__)
-
-#    error "Not yet implemented"
-
+    va_list ArgList;
+    va_start(ArgList, Format);
+    vprintk(Format, ArgList);
+    va_end(ArgList);
 #else
 
 #    error "Unsupported platform"

From 17fb85f3668adddf531ad44944b9f23fea60cf5c Mon Sep 17 00:00:00 2001
From: Max Raulea <max.raulea@gmail.com>
Date: Sat, 1 Aug 2026 17:08:20 +0200
Subject: [PATCH 5/6] added header for PLatformCPU

---
 hyperdbg/include/platform/kernel/header/PlatformCpu.h | 1 +
 1 file changed, 1 insertion(+)

diff --git a/hyperdbg/include/platform/kernel/header/PlatformCpu.h b/hyperdbg/include/platform/kernel/header/PlatformCpu.h
index fb3413f9..79936baf 100644
--- a/hyperdbg/include/platform/kernel/header/PlatformCpu.h
+++ b/hyperdbg/include/platform/kernel/header/PlatformCpu.h
@@ -13,6 +13,7 @@
 
 #if defined(__linux__)
 #    include "../../../../include/SDK/HyperDbgSdk.h"
+#    include <linux/cpumask.h>
 #endif // defined(__linux__)
 
 //////////////////////////////////////////////////

From 622ea9df9730e3fe0a8ff22f035772631308ac36 Mon Sep 17 00:00:00 2001
From: Max Raulea <max.raulea@gmail.com>
Date: Sat, 1 Aug 2026 17:09:55 +0200
Subject: [PATCH 6/6] Porting Documentation update

---
 hyperdbg/linux/PORTING_STATUS.md | 88 +++++++++++++++++++++++++++++++-
 1 file changed, 86 insertions(+), 2 deletions(-)

diff --git a/hyperdbg/linux/PORTING_STATUS.md b/hyperdbg/linux/PORTING_STATUS.md
index 70ddd06f..870cbfd0 100644
--- a/hyperdbg/linux/PORTING_STATUS.md
+++ b/hyperdbg/linux/PORTING_STATUS.md
@@ -9,7 +9,8 @@ the *state* of the work; the README is the *method*.
 
 > Status in one line: the userspace library (`libhyperdbg`) compiles file-by-file
 > on Linux. Many Windows-only paths are **stubbed to compile+link**, not yet
-> implemented. See the TODO ledger below.
+> implemented. See the TODO ledger below. Work has now also started on the
+> **kernel module** (`HyperDbg.ko`) — see its section near the end.
 
 ---
 
@@ -814,7 +815,90 @@ but out of scope for the port.
 ### Build system
 - [ ] Add `.gitignore` rules for the in-source CMake build output
   (`CMakeCache.txt`, `CMakeFiles/`, generated `Makefile`, `cmake_install.cmake`,
-  `*.o`, `*.so`) — or switch to an out-of-source `build/` directory.
+  `*.o`, `*.so`) — or switch to an out-of-source `build/` directory. Now also
+  applies to the kbuild output (`*.ko`, `*.mod`, `*.mod.c`, `.*.cmd`,
+  `modules.order`, `Module.symvers`), which lands in-tree at the repo root.
+
+---
+
+## Kernel module (`HyperDbg.ko`) — IN PROGRESS
+
+Phase two. Windows' seven kernel binaries (hyperkd.sys + hyperhv/hyperlog/
+hyperevade/hypertrace/hyperperf/kdserial, KMDF export drivers) collapse into one
+Linux module. Design notes: the root [`Kbuild`](../Kbuild) header.
+
+```bash
+cd linux/kernel     # NOT the CMake root Makefile — that builds the user-mode CLI
+make                # -> HyperDbg.ko at the repo root
+make clean / load / unload
+make KDIR=/path/to/linux-headers
+```
+
+kbuild prefers the root `Kbuild` under `M=`, so both build systems coexist.
+`Kbuild` lists every future object with the un-ported ones commented out. Current
+front: the ten `include/platform/kernel/` TUs, all uncommented — so the build
+stops at the first `#error "Not yet implemented"`.
+
+| TU | Status |
+|----|--------|
+| `PlatformMem.c` | ✅ builds (pre-existing) |
+| `PlatformIntrinsics.c` | ✅ builds (pre-existing) |
+| `PlatformIntrinsicsVmx.c` | ✅ builds (pre-existing) |
+| `PlatformBroadcast.c` | ✅ ported 2026-08-01 |
+| `PlatformCpu.c` | ✅ ported 2026-08-01 — see below |
+| `PlatformDbg.c` | ✅ ported 2026-08-01 — see below |
+| `PlatformDpc.c` | ❌ 2 stubs — **next to fail**; also 2 *type* errors (see below) |
+| `PlatformIrql.c` | ❌ 2 stubs |
+| `PlatformEvent.c` | ❌ 3 stubs |
+| `PlatformIo.c` | ❌ 3 stubs |
+| `PlatformSpinlock.c` | ❌ 3 stubs |
+| `PlatformTime.c` | ❌ 3 stubs |
+| `PlatformProcess.c` | ❌ 5 stubs |
+
+### `PlatformCpu.c` — DONE (2026-08-01)
+
+| Windows | Linux |
+|---------|-------|
+| `KeQueryActiveProcessorCount(0)` | `num_online_cpus()` |
+| `KeGetCurrentProcessorNumberEx(NULL)` | `raw_smp_processor_id()` |
+
+Both Windows calls return system-wide (all-group) values, matching Linux's flat
+CPU numbering — no group translation.
+
+`raw_` chosen deliberately: plain `smp_processor_id()` asserts preemption is
+disabled (`CONFIG_DEBUG_PREEMPT` splat), a precondition the Windows API doesn't
+have and no caller establishes. Both current callers can run preemptible
+(`Logging.c:1001` per-core VMX buffer index, but only on the vmx-root path;
+`PseudoRegisters.c:49` `$core`). The 72 raw `KeGetCurrentProcessorNumberEx` sites
+in 21 files still pending (`__CPU_INDEX__`, `g_GuestState[]`/`g_DbgState[]`) are
+all vmx-root/raised-IRQL — identical either way.
+
+No new include needed (resolves via `linux/kernel/pch.h`; add `<linux/smp.h>` if
+that ever breaks).
+
+### `PlatformDbg.c` — DONE (2026-08-01)
+
+| Windows | Linux |
+|---------|-------|
+| `vDbgPrintEx(DPFLTR_IHVDRIVER_ID, DPFLTR_INFO_LEVEL, Format, ArgList)` | `vprintk(Format, ArgList)` |
+
+`va_start`/`va_end` scaffolding unchanged; no new include needed.
+
+Nuances, deliberately not "fixed" (would be logic changes; callers unaffected):
+- printk reads its level from a `KERN_*` prefix on the format string and no caller
+  has one → messages land at the default loglevel, not "info".
+- printk isn't MSVC's CRT (no `%I64d`/`%ws`). All six callers use only `%s`/`%x`.
+- `Logging.c:833` chunks at `DbgPrintLimitation` (512, `Constants.h:223`) =
+  DbgPrint's limit, not printk's `LOG_LINE_MAX`. Works, just mis-sized.
+
+- [ ] Revisit loglevel + `DbgPrintLimitation` sizing once kernel logging is exercised.
+
+### Next up: `PlatformDpc.c`
+
+Not a body swap — the signatures fail too (`PRKDPC`, `PKDEFERRED_ROUTINE` unknown
+on Linux). Needs Linux types for the KDPC object + deferred-routine fn-ptr first.
+Backing it with `smp_call_function_single_async` / `irq_work` / `tasklet` is a
+design decision, not a mechanical swap.
 
 ---