#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);