diff options
| author | Amlal El Mahrouss <amlal.elmahrouss@icloud.com> | 2024-08-31 10:47:14 +0200 |
|---|---|---|
| committer | Amlal El Mahrouss <amlal.elmahrouss@icloud.com> | 2024-08-31 10:47:14 +0200 |
| commit | 2c4b02249ec4355a73b826909ab1889e45871faf (patch) | |
| tree | a904b374c7a738dd3dcb0a580e5667714b72682a /dev/DDK/KernelPrint.c | |
| parent | d65e85588388bf8c2e0dc8f6b106947110c0e815 (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.c')
| -rw-r--r-- | dev/DDK/KernelPrint.c | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/dev/DDK/KernelPrint.c b/dev/DDK/KernelPrint.c index a885ddd4..7eb893d0 100644 --- a/dev/DDK/KernelPrint.c +++ b/dev/DDK/KernelPrint.c @@ -8,18 +8,18 @@ #include <DDK/KernelPrint.h> -DK_EXTERN void kernelPrintChar(const char ch) +DK_EXTERN void KernelPrintChar(const char ch) { char assembled[2] = {0}; assembled[0] = ch; assembled[1] = 0; - kernelCall("WriteCharacter", 1, assembled, 1); + KernelCall("WriteCharacter", 1, assembled, 1); } /// @brief print string to UART. /// @param message UART to transmit. -DK_EXTERN void kernelPrintStr(const char* message) +DK_EXTERN void KernelPrintStr(const char* message) { if (!message) return; @@ -27,11 +27,11 @@ DK_EXTERN void kernelPrintStr(const char* message) return; size_t index = 0; - size_t len = kernelStringLength(message); + size_t len = KernelStringLength(message); while (index < len) { - kernelPrintChar(message[index]); + KernelPrintChar(message[index]); ++index; } } |