os_kernel/lib/kernel/print.h

#ifndef __LIB_KERNEL_PRINT_H
#define __LIB_KERNEL_PRINT_H

#include "stdint.h"

/// @brief 打印字符
/// @param char_ascii ascii 字符
void put_char(uint8_t char_ascii);
/// @brief 打印字符串
/// @param message 字符串地址
void put_str(char *message);
#endif // __LIB_KERNEL_PRINT_H