os_kernel/device/console.h

#ifndef __DEVICE_CONSOLE_H
#define __DEVICE_CONSOLE_H
#include "../lib/kernel/print.h"

void console_init(void);
void console_acquire(void);
void console_release(void);
void console_put_str(char *str);
void console_put_char(uint8_t char_ascii);
void console_put_int(uint32_t num);

#endif // __DEVICE_CONSOLE_H