/* generated main source file - do not edit */
#include "hal_data.h"
int fsp_main(void)
{
hal_entry ();
return 0;
}