__attribute__ ((naked))
void HardFault_Handler(void)
{
	while (1);
}