[Barrelfish-users] [Barrelfish] Utility for Intel 32.obj binary format
speter at inf.ethz.ch
Mon Mar 14 21:57:18 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.
More information about the Barrelfish-users