rtos : linux awareness

Change-Id: I41294ccaa4a3cd253919c8b1b558205903bcb695
Signed-off-by: Michel JAOUEN <michel.jaouen@stericsson.com>
Reviewed-on: http://openocd.zylin.com/348
Tested-by: jenkins
Reviewed-by: Heythem Bouhaja <heythem.bouhaja-nonst@stericsson.com>
Reviewed-by: Øyvind Harboe <oyvindharboe@gmail.com>

src/rtos/rtos.c

@@ -37,12 +37,14 @@ static void hex_to_str( char* dst, char * hex_src );
 extern struct rtos_type FreeRTOS_rtos;
 extern struct rtos_type ThreadX_rtos;
 extern struct rtos_type eCos_rtos;
+extern struct rtos_type Linux_os;
 
 static struct rtos_type *rtos_types[] =
 {
 	&ThreadX_rtos,
 	&FreeRTOS_rtos,
 	&eCos_rtos,
+	&Linux_os,
 	NULL
 };