h4tr3d

--- openocd-0.8.0/src/rtos/ThreadX.c	2014-03-30 14:54:34.000000000 +1100
+++ openocd-0.8.0.new/src/rtos/ThreadX.c	2015-02-05 21:01:35.524321020 +1000
@@ -31,12 +31,17 @@
 #include "helper/types.h"
 #include "rtos_standard_stackings.h"
 
+static const struct rtos_register_stacking* get_stacking_info(struct rtos *rtos, int64_t stack_ptr);
+static const struct rtos_register_stacking* get_stacking_info_arm926ejs(struct rtos *rtos, int64_t stack_ptr);
+
 static int ThreadX_detect_rtos(struct target *target);

h4tr3d

#!/bin/bash

ver=20131124
url=http://www.tldp.org/manpages/man-html
fn="man-html-$ver.tar.bz2"

indir="man-html-$ver"
tocname="unixman.qhp"