os_kernel/lib/kernel/print.h

#ifndef __LIB_KERNEL_PRINT_H
#define __LIB_KERNEL_PRINT_H

#include "stdint.h"

void put_char(uint8_t char_ascii);

#endif // __LIB_KERNEL_PRINT_H