Adventures with NuttX (tm4c1294-launchpad)