summaryrefslogtreecommitdiff
path: root/tools/sched/root_domains_dump.py
AgeCommit message (Expand)Author
2025-07-14tools/sched: Add root_domains_dump.py which dumps root domains infoJuri Lelli
generated by cgit (git 2.34.1) at 2025-08-01 10:35:48 +0000