30#include "driver_init.h" 
   33#define SWCLK GPIO(GPIO_PORTA, 30) 
   34#define SWDIO GPIO(GPIO_PORTA, 31) 
   37#include "watch_main_loop.h" 
   65#include "watch_slcd.h" 
   66#include "watch_extint.h" 
   68#include "watch_buzzer.h" 
   70#include "watch_gpio.h" 
   73#include "watch_uart.h" 
   74#include "watch_storage.h" 
   75#include "watch_deepsleep.h" 
   77#include "watch_private.h" 
  104int read(
int file, 
char *ptr, 
int len);
 
void watch_disable_TRNG()
Disables the TRNG twice in order to work around silicon erratum 1.16.1.
bool watch_is_usb_enabled(void)
Returns true if USB is enabled.
void cdc_task(void)
Call periodically from app main loop to service CDC RX/TX.
void watch_reset_to_bootloader(void)
Resets in the UF2 bootloader mode.
bool watch_is_buzzer_or_led_enabled(void)
Returns true if either the buzzer or the LED driver is enabled.
int read(int file, char *ptr, int len)
Reads up to len bytes from the USB serial.