blob: ad14fbf56f1d2e54d5ecfb3404e9c52a86a4ca43 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
|
/* -------------------------------------------
Copyright ZKA Technologies
Purpose: Kernel Text I/O.
------------------------------------------- */
#include <DDK/KernelPrint.h>
DK_EXTERN void kernelPrintChar(const char ch)
{
char assembled[2] = {0};
assembled[0] = ch;
assembled[1] = 0;
kernelCall("WriteCharacter", 1, assembled, 1);
}
/// @brief print string to UART.
/// @param message UART to transmit.
DK_EXTERN void kernelPrintStr(const char* message)
{
if (!message)
return;
if (*message == 0)
return;
size_t index = 0;
size_t len = kernelStringLength(message);
while (index < len)
{
kernelPrintChar(message[index]);
++index;
}
}
|
