Hi;
thomas olausson wrote:
> I know how to make Inferno kernels and upload them to the board.
What tools do you use to do this?
> The bootloader on the board expects gzipped kernels in ARM Image Format
> (AIF), that's why I couldn't continue on
> arm-linux-gcc, because I don't know what AIF is, haven't
> seen any useful info on this.
The catch would be if the bootloader can't load multiple "modules"
(i.e., the native code to one address, and the bytecode zipfile ramdisk
to another).
If it can't, but you *can* have a big, contiguous data section (we can't
on the PC due to physical memory address space layout) you can probably
hexify the ramdisk and just stick it in the .data section (or whatever)
of the AIF file -- assuming that a couple-MB initialized data array
doesn't choke your tools. It would actually be a lot easier than what
we do (we have to find tabular module directories at runtime).
-jm
--
==== John Morrison
==== MaK Technologies Inc.
==== 185 Alewife Brook Parkway, Cambridge, MA 02138
==== http://www.mak.com/welcome.html
==== vox:617-876-8085 x115
==== fax:617-876-9208
==== [EMAIL PROTECTED]
_______________________________________________
Kernel maillist - [EMAIL PROTECTED]
http://jos.org/mailman/listinfo/kernel
