Xinu

[puppylover369]

I'm working on porting an operating system called Xinu onto the Raspberry Pi 3. Members of my university have already done this with the Pi 1. I'm trying to use the same kernel they're using, but the Pi isn't able to boot it. Hopefully the kernel will work with just a couple of changes, but there is little documentation as to what the changes should be. Anyone know some things I should look for. I already found that, since the 3 is 64 bit, it boots at address 80000 instead of 8000.

[magges]

Hi,

we're trying to do the same thing.

Did you have any success or some hints to guide us in the right direction?