Hello Petro and Michal, It seems like it was the linker script load address that was incorrect in my case. After more debugging, I read through the Raspberry Pi boot loader's output and saw the kernel was being loaded at 0x480000 instead of 0x80000 as I had read in some other resources for the Raspberry Pi. I could have sworn I had tried this address already, but must have forgotten a 0.
Thank you for your help again, -- Matteo Golin B. Eng Computer Systems Student
signature.asc
Description: PGP signature
