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