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

[Simon Peter]

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

Simon