<div>Hi, everyone:</div><div><br></div><div>&nbsp; &nbsp; &nbsp; I am learning how to use SKB in Barrelfish.&nbsp;I want to get dispatcher or thread info such as CPU percentage like "top" in Linux.&nbsp;I also want to show the pci devices and cpu info like "lscpu" and "lscpu" in Linux.</div><div>&nbsp; &nbsp; &nbsp; 1. How to&nbsp;approach these two problems using SKB?</div><div>&nbsp; &nbsp; &nbsp; 2. Is there any document about SKB command? I found a skb.pdf in 2010 workshop but it is out of date and not complete. I can find all&nbsp;command in usr/skb/programs but I do not know how to use them.</div><div><br></div><div>Thanks very much!</div><div>By Mingyu</div>