micropython/ports/stm32/mboot/adc.c

// Include the main ADC driver, so mboot can use adc_config() and adc_config_and_read_u16().
#include "py/obj.h"
#include "../machine_adc.c"