Re: ipengine boot

> An obvious improvement on just copying the kernel from flash
> to RAM would be storing a compressed kernel image in flash
> with a bit of self-decompression code at the start.  That's
> left as an exercise for the reader ...

there is some code with Inferno that will compress ARM and PowerPC using an ARM-designed
scheme (that works well on the powerpc too). the advantage is that decompression
is much faster than (say) for gz format, and the compression ratio is still reasonably good.
there's some decompression code for it in at least one of the bootstraps.