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.