diff options
Diffstat (limited to 'dev/DDK')
| -rw-r--r-- | dev/DDK/KernelAlloc.c | 2 | ||||
| -rw-r--r-- | dev/DDK/KernelCall.c | 2 | ||||
| -rw-r--r-- | dev/DDK/KernelCxxRt.cxx | 2 | ||||
| -rw-r--r-- | dev/DDK/KernelDev.c | 4 | ||||
| -rw-r--r-- | dev/DDK/KernelDev.h | 2 | ||||
| -rw-r--r-- | dev/DDK/KernelPrint.c | 2 | ||||
| -rw-r--r-- | dev/DDK/KernelPrint.h | 2 | ||||
| -rw-r--r-- | dev/DDK/KernelString.c | 2 | ||||
| -rw-r--r-- | dev/DDK/KernelString.h | 2 |
9 files changed, 10 insertions, 10 deletions
diff --git a/dev/DDK/KernelAlloc.c b/dev/DDK/KernelAlloc.c index 76d26ee8..56dfd6a4 100644 --- a/dev/DDK/KernelAlloc.c +++ b/dev/DDK/KernelAlloc.c @@ -6,7 +6,7 @@ ------------------------------------------- */ -#include <DDKit/KernelStd.h> +#include <DDK/KernelStd.h> /** \brief Allocates a new heap on the kernel's side. diff --git a/dev/DDK/KernelCall.c b/dev/DDK/KernelCall.c index 17e6640d..c0a6ed15 100644 --- a/dev/DDK/KernelCall.c +++ b/dev/DDK/KernelCall.c @@ -6,7 +6,7 @@ ------------------------------------------- */ -#include <DDKit/KernelStd.h> +#include <DDK/KernelStd.h> #include <stdarg.h> /// @brief this is an internal call, do not use it. diff --git a/dev/DDK/KernelCxxRt.cxx b/dev/DDK/KernelCxxRt.cxx index 82ea8e85..5122ba40 100644 --- a/dev/DDK/KernelCxxRt.cxx +++ b/dev/DDK/KernelCxxRt.cxx @@ -6,7 +6,7 @@ ------------------------------------------- */ -#include <DDKit/KernelStd.h> +#include <DDK/KernelStd.h> void* operator new(size_t sz) { diff --git a/dev/DDK/KernelDev.c b/dev/DDK/KernelDev.c index 5ed482b9..df61e35d 100644 --- a/dev/DDK/KernelDev.c +++ b/dev/DDK/KernelDev.c @@ -6,8 +6,8 @@ ------------------------------------------- */ -#include <DDKit/KernelDev.h> -#include <DDKit/KernelString.h> +#include <DDK/KernelDev.h> +#include <DDK/KernelString.h> /// @brief Open a new binary device from path. DK_EXTERN kernelDeviceRef kernelOpenDevice(const char* devicePath) diff --git a/dev/DDK/KernelDev.h b/dev/DDK/KernelDev.h index e99cb0a7..c2328d40 100644 --- a/dev/DDK/KernelDev.h +++ b/dev/DDK/KernelDev.h @@ -8,7 +8,7 @@ #pragma once -#include <DDKit/KernelStd.h> +#include <DDK/KernelStd.h> struct _kernelDevice; diff --git a/dev/DDK/KernelPrint.c b/dev/DDK/KernelPrint.c index 148803b7..a885ddd4 100644 --- a/dev/DDK/KernelPrint.c +++ b/dev/DDK/KernelPrint.c @@ -6,7 +6,7 @@ ------------------------------------------- */ -#include <DDKit/KernelPrint.h> +#include <DDK/KernelPrint.h> DK_EXTERN void kernelPrintChar(const char ch) { diff --git a/dev/DDK/KernelPrint.h b/dev/DDK/KernelPrint.h index 49021377..d3c2c523 100644 --- a/dev/DDK/KernelPrint.h +++ b/dev/DDK/KernelPrint.h @@ -8,7 +8,7 @@ #pragma once -#include <DDKit/KernelString.h> +#include <DDK/KernelString.h> /// @brief print character into UART. DK_EXTERN void kernelPrintChar(const char ch); diff --git a/dev/DDK/KernelString.c b/dev/DDK/KernelString.c index 410ce826..63157ec2 100644 --- a/dev/DDK/KernelString.c +++ b/dev/DDK/KernelString.c @@ -6,7 +6,7 @@ ------------------------------------------- */ -#include <DDKit/KernelString.h> +#include <DDK/KernelString.h> DK_EXTERN size_t kernelStringLength(const char* in) { diff --git a/dev/DDK/KernelString.h b/dev/DDK/KernelString.h index a0b811dc..02d2c067 100644 --- a/dev/DDK/KernelString.h +++ b/dev/DDK/KernelString.h @@ -8,7 +8,7 @@ #pragma once -#include <DDKit/KernelStd.h> +#include <DDK/KernelStd.h> /// @brief DDK equivalent of POSIX's string.h /// @file kernelString.h |