Hello,
> Correct, so the end of the RAM bank would be 0x4200. I am a bit
> surprised that the toolstack does not complain when trying to load the
> kernel at 0x80008000.
> Can you paste the dump of xl -vvv create... ?
$ xl -vvv create dom.cfg
Parsing config from dom.cfg
libxl: debug: libxl_c
Konrad Rzeszutek Wilk wrote:
> OK, but that makes an ELF file. I believe (based on the Booting) you need to
> extract
> the binary code out and also fixup the branch instructions (maybe make
> __Start = 0;?).
> The Booting says:
> - The boot loader is expected to call the kernel image by jumpi
