/* usb_keyboard.h - Implementation of a USB keyboard device
 *
 * Copyright (C) 2024  Luke T. Shumaker <lukeshu@lukeshu.com>
 * SPDX-Licence-Identifier: AGPL-3.0-or-later
 */

#ifndef _USB_KEYBOARD_H_
#define _USB_KEYBOARD_H_

#include "coroutine_chan.h"

typedef cr_chan_t(uint32_t, int) usb_keyboard_chan_t;

void usb_keyboard_init(void);
COROUTINE usb_keyboard_cr(void *arg);

#endif /* _USB_KEYBOARD_H_ */