summaryrefslogtreecommitdiffhomepage
path: root/dev/DDK/KernelPrint.h
diff options
context:
space:
mode:
authorAmlal El Mahrouss <amlal.elmahrouss@icloud.com>2024-08-31 10:47:14 +0200
committerAmlal El Mahrouss <amlal.elmahrouss@icloud.com>2024-08-31 10:47:14 +0200
commit2c4b02249ec4355a73b826909ab1889e45871faf (patch)
treea904b374c7a738dd3dcb0a580e5667714b72682a /dev/DDK/KernelPrint.h
parentd65e85588388bf8c2e0dc8f6b106947110c0e815 (diff)
Saving progress on User scheduler implementation.
+ Working on RISC-V, ARM64, POWER64 HALs, to be able to distribute mulitple versions of the product. Signed-off-by: Amlal El Mahrouss <amlal.elmahrouss@icloud.com>
Diffstat (limited to 'dev/DDK/KernelPrint.h')
-rw-r--r--dev/DDK/KernelPrint.h4
1 files changed, 2 insertions, 2 deletions
diff --git a/dev/DDK/KernelPrint.h b/dev/DDK/KernelPrint.h
index d3c2c523..88244c94 100644
--- a/dev/DDK/KernelPrint.h
+++ b/dev/DDK/KernelPrint.h
@@ -11,8 +11,8 @@
#include <DDK/KernelString.h>
/// @brief print character into UART.
-DK_EXTERN void kernelPrintChar(const char ch);
+DK_EXTERN void KernelPrintChar(const char ch);
/// @brief print string to UART.
/// @param message string to transmit to UART.
-DK_EXTERN void kernelPrintStr(const char* message);
+DK_EXTERN void KernelPrintStr(const char* message);