Additional events example

Revision:
4:20d7dabbd3b5
Parent:
3:4f5870c9c712
--- a/main.cpp	Mon Aug 13 13:44:44 2018 -0500
+++ b/main.cpp	Mon Aug 13 13:45:09 2018 -0500
@@ -6,6 +6,7 @@
 Thread t;
 
 void rise_handler(void) {
+    printf("rise_handler in context %p\r\n", Thread::gettid());
     // Toggle LED
     led1 = !led1;
 }