Re: ipengine boot

I've confirmed that the relocation code I posted yesterday works
for loading inferno from flash, with the addition of one more
instruction: immediately after label 'start(SB)', you need to insert
	BL	1(PC)
which loads LR with the original kernel start address (+4).

Sorry I overlooked that essential point.

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