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

Waqaas Munawar munawar at ira.uka.de
Mon Mar 14 19:49:51 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?
> Brs,
> wakas

Hi again,
Just wanted to bump the thread again.
So, anyone who worked on SCC remembers this? What did you guys use after 
"dite" to convert the kernel image into intel 32.obj format before 
booting it on SCC.


-------------- next part --------------
A non-text attachment was scrubbed...
Name: smime.p7s
Type: application/pkcs7-signature
Size: 5637 bytes
Desc: S/MIME Cryptographic Signature
Url : https://lists.inf.ethz.ch/pipermail/barrelfish-users/attachments/20110314/5c857047/attachment.bin 

More information about the Barrelfish-users mailing list