Re: [OpenOCD-devel] Python API for supplying thread information?

[Pierre-Marie de Rodat <derodat at adacore dot com>]

Hello,

On 03/22/2017 12:01 PM, Liviu Ionescu wrote:
> > The idea I'm asking about is related to the Pretty Printing API in
> > Python, ...
> > Would that be even possible to implement in GDB? Maybe something like
> > that is possible even now, but not documented?
>
> even if this is possible, it does not cover all debugging tools
> (increasing in popularity right now, at least for FreeRTOS) that
> might need to introspect the RTOS, for example Eclipse plug-ins to
> display the status of semaphores, queues, memory allocators, etc.

I remember a talk at the last GNU Cauldron that talked about a project 
to describe way info and the like in a platfrom-independent way: 
https://infinitynotes.org/wiki/Infinity

It’s not a Python API and it’s still work in progress IIUC, but this 
would not be something tied to GDB, so ideally other debugging tools 
could use this info at some point. Would this fit your need?

--
Pierre-Marie de Rodat