#ifndef KEYBOARD_STDIO_H
#define KEYBOARD_STDIO_H

#include <stdbool.h>

/**
 * Initializes the keyboard stdio driver.
 * This allows standard C input functions (getchar, scanf, etc.) to read from the USB keyboard.
 */
void keyboard_stdio_init(void);

/**
 * Pushes a character into the keyboard input buffer.
 * This should be called by the USB HID report handler.
 */
void keyboard_stdio_push_char(char c);

#endif