/* * Copyright (C) 2020 Savoir-faire Linux * * This file is subject to the terms and conditions of the GNU Lesser General * Public License v2.1. See the file LICENSE in the top level directory for more * details. */ /** * @ingroup boards_stm32mp157c-dk2 * @{ * * @file * @brief Board specific implementations for the STM32MP157C-DK2 board * * @author Gilles DOFFE * * @} */ #include "board.h" #include "periph/gpio.h" #include void board_init(void) { /* initialize the CPU */ cpu_init(); }