Code for bug report; KL25Z not running when PTA4 hasn't been high for > 400ms

Dependencies:   mbed-src

  • First revision: error, KL25Z will not boot when PTA4 is low
  • Second revision: solved by adding NMI handler (thanks Erik Olieman). This is a fix when using mbed compiled library
  • Third revision: solved by changing startup file. NMI handler no longer needed. This can now only be used when using mbed-src
Revision:
1:ebb9ac70fa32
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/mbed-src.lib	Wed Oct 16 07:45:13 2013 +0000
@@ -0,0 +1,1 @@
+http://mbed.org/users/mbed_official/code/mbed-src/#a3c7023e45de