No subject

[zhou.li9 at zte.com.cn]

Now I want to debug Fiasco.OC kernel with JDB, the version of Fiasco.OC is 
2014092821. Mentioned in a jdb.pdf document section 4.14, need to use RMGR 
to load the symbol table, but I did not find any manpage on the RMGR. 
where is the manpage or how to load the symbol table?
--------------------------------------------------------
ZTE Information Security Notice: The information contained in this mail (and any attachment transmitted herewith) is privileged and confidential and is intended for the exclusive use of the addressee(s).  If you are not an intended recipient, any disclosure, reproduction, distribution or other dissemination or use of the information contained is strictly prohibited.  If you have received this mail in error, please delete it and notify us immediately.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://os.inf.tu-dresden.de/pipermail/l4-hackers/attachments/20150330/df648ff2/attachment.html>