from rtkernel.c:44
static const struct rtkernel_params rtkernel_params_list[] = {
{
"cortex_m",
&rtos_standard_cortex_m3_stacking,
&rtos_standard_cortex_m4f_stacking,
&rtos_standard_cortex_m4f_fpu_stacking,
},
{
"hla_target",
&rtos_standard_cortex_m3_stacking,
&rtos_standard_cortex_m4f_stacking,
&rtos_standard_cortex_m4f_fpu_stacking,
},
};