Hi folks,

I just wanted to confirm some understanding of some code in stage0. I see that in the memory layout for stage0, we expect the kernel image to be loaded at 0x20_0000, or roughly 2MB. However, I noticed that in various logs when we run stage0, we see the kernel image location at 0x2000000 (note the extra 0). This seems to be coming from:

In our logs, we see something like this:

stage0 DEBUG: Kernel image start address 0x0000000002000000
stage0 DEBUG: Kernel entry point 0x0000000002000200

Which, when calculated, is

>>> 0x0000000002000000
33554432
>>> 0x0000000002000200
33554944

Compare this to 2MiB:

>>> 0x200000
2097152

From a "brief" scan of the call site, I see b/359144829 being referenced, but this only points to