From c79a1ca94c4caa94c15b62adfdf97f34aa185417 Mon Sep 17 00:00:00 2001
From: Neil Brown <neil@twistedsquare.com>
Date: Sun, 23 Nov 2008 19:44:37 +0000
Subject: [PATCH] Added a missing header include in tock_support.h that the
 newer GCC complains about

---
 support/tock_support.h | 1 +
 1 file changed, 1 insertion(+)

diff --git a/support/tock_support.h b/support/tock_support.h
index 4c73f5e..3f18c96 100644
--- a/support/tock_support.h
+++ b/support/tock_support.h
@@ -29,6 +29,7 @@
 #include <sys/ioctl.h>
 #include <termios.h>
 #include <unistd.h>
+#include <stdlib.h>
 
 
 //{{{ mostneg/mostpos