[Barrelfish-users] Is there any documents for SKB?

[1101210651]

Hi, everyone:


      I am learning how to use SKB in Barrelfish. I want to get dispatcher or thread info such as CPU percentage like "top" in Linux. I also want to show the pci devices and cpu info like "lscpu" and "lscpu" in Linux.
      1. How to approach these two problems using SKB?
      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 command in usr/skb/programs but I do not know how to use them.


Thanks very much!
By Mingyu
-------------- next part --------------
An HTML attachment was scrubbed...
URL: https://lists.inf.ethz.ch/pipermail/barrelfish-users/attachments/20130106/2f2da99d/attachment.html