+// NVIC - Non-Maskable Interrupt ISR
+void nmi_default_isr()
+{
+ print("NMI!" NL );
+}
+
+
+// NVIC - Hard Fault ISR
+void hard_fault_default_isr()
+{
+ print("Hard Fault!" NL );
+}
+
+
+// NVIC - Memory Manager Fault ISR
+void memmanage_fault_default_isr()
+{
+ print("Memory Manager Fault!" NL );
+}
+
+
+// NVIC - Bus Fault ISR
+void bus_fault_default_isr()
+{
+ print("Bus Fault!" NL );
+}
+
+
+// NVIC - Usage Fault ISR
+void usage_fault_default_isr()
+{
+ print("Usage Fault!" NL );
+}
+
+