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

[Waqaas Munawar]

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?

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