void _kernel_vstringFormat(char *s, char const *fmt, va_list args)
Formats a string using a va_list argument.
void _kernel_getKey(console_key_t *key)
Retrieves a key event (blocking).
void _kernel_stdio(void)
Initializes kernel standard I/O subsystem.
void _kernel_stringFormat(char *s, char const *fmt,...)
Formats a string into a buffer.
void _kernel_outTab(void)
Outputs a horizontal tab.
bool _kernel_tryGetKey(console_key_t *key)
Attempts to retrieve a key event (non-blocking).
void _kernel_outString(const char *str)
Outputs a null-terminated string.
void _kernel_outStringFormat(const char *fmt,...)
Outputs a formatted string.
void _kernel_outChar(const char code)
Outputs a single character.
void _kernel_outLn(void)
Outputs a newline sequence.
Console key event data.
Definition events.h:50