your mail

Adam Lackorzynski adam at
Tue Mar 31 23:40:57 CEST 2015

On Mon Mar 30, 2015 at 18:43:29 +0800, zhou.li9 at wrote:
> 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?

Oh, this is outdated info and this particular feature is not there

Adam                 adam at

More information about the l4-hackers mailing list