kernel loading

[Robert Swindells <rjs%fdy2.co.uk@localhost>]

How is loading and running of a 32-bit kernel by u-boot expected to
work ?

I have copied std.generic and mk.generic to use with fdt zynq sources.

The kernel_noload flag to mkubootimage(1) looks to make u-boot execute
the kernel in place. What address should I load netbsd.ub at ?

I think I'm hitting the panic in arm_bad_vtopdiff in armv6_start.S.

I get "off  :0x3dfac484" on the serial console before this.

Robert Swindells