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

Haas, Werner werner.haas at intel.com
Tue Mar 15 16:38:17 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.


Our non-kernel SCC code is released under Apache License v2.0. I guess you are much more familiar with the conditions and implications but from a legal perspective you are free to redistribute the tool if you wish. 


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