[Barrelfish-users] Utility for Intel 32.obj binary format

Waqaas Munawar munawar at ira.uka.de
Fri Mar 11 00:31:04 CET 2011

Hi all,

 Which utility can be used for converting the kernel binary image to Intel
32.obj binary format as mentioned in technical note 5?

-------------- next part --------------
An HTML attachment was scrubbed...
URL: https://lists.inf.ethz.ch/pipermail/barrelfish-users/attachments/20110311/7c302d0b/attachment.html 

More information about the Barrelfish-users mailing list