From 7f239f5d46e7f495f1b086ed281a64e95cea9b33 Mon Sep 17 00:00:00 2001
From: Andrew Tridgell <andrew@tridgell.net>
Date: Wed, 17 Jun 2015 17:04:15 +1000
Subject: [PATCH] AP_HAL: added get_shell_stream()

---
 libraries/AP_HAL/Util.h | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/libraries/AP_HAL/Util.h b/libraries/AP_HAL/Util.h
index 216664d967..ac789fb080 100644
--- a/libraries/AP_HAL/Util.h
+++ b/libraries/AP_HAL/Util.h
@@ -72,6 +72,11 @@ public:
     virtual void toneAlarm_set_tune(uint8_t tune) {}
     virtual void _toneAlarm_timer_tick() {}
 
+    /*
+      return a stream for access to a system shell, if available
+     */
+    virtual AP_HAL::Stream *get_shell_stream() { return NULL; }
+
 protected:
     bool soft_armed;
 };