blob: 88244c94ccfd51d234cffc99535fc9596c130b29 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
/* -------------------------------------------
Copyright ZKA Technologies.
Purpose: DDK Text I/O.
------------------------------------------- */
#pragma once
#include <DDK/KernelString.h>
/// @brief print character into UART.
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);
|
