[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
>

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.

Thanks.
wakas

-------------- 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