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

Haas, Werner werner.haas at intel.com
Tue Mar 15 11:13:25 CET 2011

> > 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.
> The tool is called bin2obj. We got it from Intel and I'm actually not
> sure I can give it out. In any case, there must be a publicly available
> tool. The documentation about building your own Linux kernel that is in
> the SCC community forum should have more information.

The bin2obj tool can be downloaded through the public SCC repository at http://marcbug.scc-dc.com/svn/repository/trunk/linuxkernel/bin2obj/ I still have to figure out the exact license for this tool but for MARC users I am not aware of any restrictions.


Intel GmbH
Dornacher Strasse 1
85622 Feldkirchen/Muenchen, Deutschland 
Sitz der Gesellschaft: Feldkirchen bei Muenchen
Geschaeftsfuehrer: Douglas Lusk, Peter Gleissner, Hannes Schwaderer
Registergericht: Muenchen HRB 47456 
Ust.-IdNr./VAT Registration No.: DE129385895
Citibank Frankfurt a.M. (BLZ 502 109 00) 600119052

More information about the Barrelfish-users mailing list