24 Nov
2024
24 Nov
'24
7:06 p.m.
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
485
Age (days ago)
486
Last active (days ago)
3 comments
3 participants
participants (3)
-
Alwin Joshy -
Indan Zupancic -
Yanfeng