print out some randomness when starting up for now.. shows it's

all working...

main.c

@@ -4,9 +4,19 @@
 
 #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();
 
@@ -16,5 +26,9 @@ main(void)
 
 	wait_for_vcp();
 
-	usb_printf("foo\r\n");
+	usb_printf("starting...\r\n");
+
+	bare_strobe_randomize(bytes, sizeof bytes);
+	hexdump(bytes, sizeof bytes);
+	usb_printf("\r\n");
 }