#include <ao_crc.h>
#include <ao_trng_send.h>
+static void
+ao_hv_init(void)
+{
+ ao_enable_output(AO_HV_ENABLE_PORT, AO_HV_ENABLE_BIT, AO_HV_ENABLE_PIN, 1);
+}
+
void main(void)
{
ao_led_init(LEDS_AVAILABLE);
ao_usb_init();
+ ao_hv_init();
+
ao_trng_send_init();
ao_led_off(AO_LED_RED);