[seL4] find all seL4 threads

24 Nov 2024

      Dear experts,

I am wondering when checking a running seL4 target from GDB, how can we find all
threads? It seems that `ksReadyQueues[]` only holds a sub set.

Regards,
yf

Yanfeng