[Barrelfish-users] Utility for Intel 32.obj binary format
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?
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...
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