/* sbc_harness/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 _SBC_HARNESS_USB_KEYBOARD_H_
#define _SBC_HARNESS_USB_KEYBOARD_H_

#include <stdint.h> /* for uint32_t */

#include <libcr/coroutine.h> /* for COROUTINE */
#include <libcr_ipc/rpc.h>   /* for CR_RPC_DECLARE */

CR_RPC_DECLARE(usb_keyboard_rpc, uint32_t, int)

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

#endif /* _SBC_HARNESS_USB_KEYBOARD_H_ */