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 _______________________________________________ Devel mailing list -- [email protected] To unsubscribe send an email to [email protected]
