Loading a simple "kernel" at the address other than default on Raspberry Pi 4

[Paulo Miguel Almeida]

Disclaimer: I'm not an expert in ARM, I'm just trying to help because
I've been (still am really) in the journey of writing a hobbist OS and
know how small suggestions can help sometimes.

On Tue, Nov 02, 2021 at 05:13:16PM +0500, Mushahid Hussain wrote:
> There's a configuration(config.txt)[1] kernel_address on Raspberry Pi 4 but
> whenever I change the load address by even 1 byte, the simple kernel would
> not run. It is only able to run at 0x80000.

Most likely the stages (and code) that run in previous stages expect
your code to be present precisely at this address. Hence, when you
change the target address even by 1 byte it doesn't work.

Remember that if the CPU reads something that causes it to throw an
error/exception, it doesn't go to the next instruction.

QEMU + GDB can be great allies when answering these types of questions.

Something like this (I haven't tested it but this is a starting point):

QEMU cmd: qemu-system-aarch64 -gdb tcp::8864 -drive format=raw,file=$(OUTPUT_RAW_DISK) \
		-S -d guest_errors -d int -no-reboot -no-shutdown

GDB cmd: gdb -ex 'target remote localhost:8864' \
	        -ex 'layout asm' \
	        -ex 'layout regs' \
		-ex 'b *0x80000' \


> How is the standard kernel being loaded at 0x200000, but my simple kernel
> cannot be loaded at any address except for the default address(0x80000)?
> 

I'm not familiar with that firmware but again if I were you I would be debugging the standard 
kernel as well. 

>From my personal experience (I'm developing for x86-64), there were a
couple of things that GRUB bootloader did out-of-the-box for the linux kernel to make
its life easier that I had to write myself because I wanted to write the
bootloader too.

My point is, for quite sometime I was looking for the answers in the linux
kernel when in reality those were in a different component (grub in this
case). Make sure that this isn't the case for you as well.

Happy coding :)

> _______________________________________________
> Kernelnewbies mailing list
> Kernelnewbies at kernelnewbies.org
> https://lists.kernelnewbies.org/mailman/listinfo/kernelnewbies