From dbbb9e98c2098db8ed2ca2ee0333089ee892bb0f Mon Sep 17 00:00:00 2001
From: Jakob Odersky <jodersky@gmail.com>
Date: Tue, 5 May 2015 14:23:18 +0200
Subject: update nuttx

---
 NuttX | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/NuttX b/NuttX
index 9afd7fe84..f573c78fc 160000
--- a/NuttX
+++ b/NuttX
@@ -1 +1 @@
-Subproject commit 9afd7fe84b54473b85b550fb57dafe15165398d7
+Subproject commit f573c78fc173cfba41f00958230d141e7136e625
-- 
cgit v1.2.3