Hi Andres
The function BOARD_InitOsc0 is only configuring the system oscillator. OSC frequency, MCG range, enable capacitor. You have an external OSC and the frequency is 32.768 KHz.
// OSC0 configuration.
osc_user_config_t osc0Config =
{
.freq = OSC0_XTAL_FREQ,
.hgo = MCG_HGO0,
.range = MCG_RANGE0,
.erefs = MCG_EREFS0,
.enableCapacitor2p = OSC0_SC2P_ENABLE_CONFIG,
.enableCapacitor4p = OSC0_SC4P_ENABLE_CONFIG,
.enableCapacitor8p = OSC0_SC8P_ENABLE_CONFIG,
.enableCapacitor16p = OSC0_SC16P_ENABLE_CONFIG,
};

Now you have the frequency of the OSC and you will selected the configuration for the different states of the MCG.
CLOCK_SetBootConfig(&g_defaultClockConfigRun);
The next structure shows the configuration for enter run mode
const clock_manager_user_config_t g_defaultClockConfigRun =
{
.mcgConfig =
{
.mcg_mode = kMcgModeFEE, // Work in FEE mode.
.irclkEnable = true, // MCGIRCLK enable.
.irclkEnableInStop = false, // MCGIRCLK disable in STOP mode.
.ircs = kMcgIrcSlow, // Select IRC32k.
.fcrdiv = 0U, // FCRDIV is 0.
.frdiv = 0U,
.drs = kMcgDcoRangeSelMid, // Mid frequency range
.dmx32 = kMcgDmx32Fine, // DCO has a default range of 25%
},
.simConfig =
{
.outdiv1 = 0U,
.outdiv4 = 1U,
},
.oscerConfig =
{
.enable = true, // OSCERCLK enable.
.enableInStop = false, // OSCERCLK disable in STOP mode.
}
};
As you can see the mcg configuration is working in FEE mode, and selecting the OSCCLK. If you want to know or to modify the frequency, you should modified the values of drs and dmx.
The select values are drs = 1 (kMcgDcoRangeSelMid ) and dmx32 = 1 (kMcgDmx32Fine) and with this you have a frequency of 48MHz. The core is working with 48MHz.
DCO RANGE = 1464 * 32.768KHz = 47.972352 Mhz.

If you have problems with the frequency of MGC let me know
Have a great day
Mario