Pete, I tried to understand your MMU problem, because you asked. I stripped down your kernel.s file to the point, where the MMU has been enabled and the code runs through to this point. I can see this in GDB with a JTAG debugger connected. I think the problem is, that you want to load the kernel high. You set the text segment and start address to 0xffff000000000000, but the firmware loads it to 0 with kernel_old=1, which you have set. How should this work? But I always loaded my kernels low. Thanks for appreciating Circle!
Statistics: Posted by rst — Fri Dec 06, 2024 12:45 pm