/* pico-sdk */
#include <stdio.h>
#include "pico/stdlib.h"

/* TinyUSB */
#include "bsp/board_api.h"
#include "tusb.h"

/* local */
#include "usb_keyboard.h"

int main() {
	/* pico-sdk initialization */
	stdio_uart_init();
	gpio_init(PICO_DEFAULT_LED_PIN);
	gpio_set_dir(PICO_DEFAULT_LED_PIN, GPIO_OUT);

	usb_keyboard_init();

	/* TinyUSB initialization */
	board_init();
	tud_init(BOARD_TUD_RHPORT);
	if (board_init_after_tusb)
		board_init_after_tusb();

	/* Event loop. */
	for (;;) {
		tud_task();
		usb_keyboard_task();
		if (usb_keyboard_is_flushed()) {
			char *msg = "Hello world!\n";
			for (size_t i = 0; i < strlen(msg); i++)
				usb_keyboard_send_char(msg[i]);
		}
	}
}