#include "ch32v30x_conf.h"

/**
 * @brief Initialize IOMUX.
 * 
 */
void BOARD_IOMUX_Init(void) {
    /* The official devkit (CH32V307V-R1-1v0)
     * does not have any LEDs directly connected to the MCU,
     * and does not have any buttons directly connected to the MCU either...
     */
}

/**
 * @brief Initialize on-board peripherals.
 * 
 */
void BOARD_Peripheral_Init(void) {
}

/**
 * @brief Configure system clock,
 * If you are not satisfied with the default options.
 * 
 */
void BOARD_SystemClock_Config(void) {

    // After you are done playing with RCC...
    SystemCoreClockUpdate();
}