is there any simple and fast description how to use OpenOCD / gdb with own RTOS? I use Eclipse for debugging and I would like what I need to do to see processes / threads in this environment. Does it require a big effort to do that? I found only limited info about that but I see that e.g. ChibiOS is officially supported.