Add support for FS-BB48

example-fsm-55/sys.c

@@ -31,7 +31,6 @@ reset (void)
 }
 
 extern uint8_t __main_stack_end__;
-extern void svc (void);
 extern void preempt (void);
 extern void chx_timer_expired (void);
 extern void chx_handle_intr (void);
@@ -44,14 +43,7 @@ static void nmi (void)
 static void __attribute__ ((naked))
 hard_fault (void)
 {
-  register uint32_t primask;
-
-  asm ("mrs	%0, PRIMASK" : "=r" (primask));
-
-  if (primask)
-    asm volatile ("b	svc");
-  else
-    for (;;);
+  for (;;);
 }
 
 static void mem_manage (void)
@@ -89,7 +81,7 @@ handler vector[] __attribute__ ((section(".vectors"))) = {
   none,
   /* 0x20 */
   none, none, none,		/* reserved */
-  svc,				/* SVCall */
+  none,				/* SVCall */
   none,				/* Debug */
   none,				/* reserved */
   preempt,			/* PendSV */