#include <usbd_cdc_if.h>

#include <strobe_rng_init.h>

#include <board.h>

void
hexdump(uint8_t *ptr, size_t len)
{
	int i;

	for (i = 0; i < len; i++)
		usb_printf("%02x", ptr[i]);
}

int
main(void)
{
	uint8_t bytes[8];

	strobe_rng_init();

	board_init();

	HAL_GPIO_WritePin(GPIOB, GPIO_PIN_8, GPIO_PIN_SET);

	wait_for_vcp();

	usb_printf("starting...\r\n");

	bare_strobe_randomize(bytes, sizeof bytes);
	hexdump(bytes, sizeof bytes);
	usb_printf("\r\n");
}