#include "device_info/device_info.hcs"
#include "adc/adc_config.hcs"
#include "spi_i2s/spi_i2s_config.hcs"
#include "gpio/gpio_config.hcs"
#include "i2c/i2c_config.hcs"
#include "pwm/pwm_config.hcs"
#include "uart/uart_config.hcs"
#include "watchdog/watchdog_config.hcs"
#include "mmc/mmc_config.hcs"
#include "input/input_config.hcs"
#include "ltdc/ltdc_config.hcs"
#include "wifi/wlan_platform.hcs"
#include "wifi/wlan_chip_hi3881.hcs"

root {
    module = "st,stm32mp1xx";
}