Adding support for all Raspberry Pi models

[vanvught]

In order to support all Raspberry Pi models, what would be the best naming convention for defines?
Any other considerations?
We need to different memory barriers based on RPi model. The same for the GPIO base address.

[LdB-ECM]

I have actually completed the port for all the Pi models there is no requirement for any additional defines you can detect them all and correct for them in platformint.c. For example for the GPIO address just first check if address 0x20980040 has the value 0x4F54280A (that is the USB vendor ID) .. if you don't see it then the IOBase is 0x3F000000 and you can confirm it by reading 0x3F980040 and it should have that value. From there you have access to the Pi mailbox and you can request memory split etc. You load all the stuff you need into your drivers usually using the csr pointer and when initialize.c does an open on the drivers they have the right settings.

[vanvught]

@LdB-ECM Thanks. Are you going to push the code to this GitHub repository?

[LdB-ECM]

yes just need to format for directories
If anyone would like to confirm we have no bugs I have compiled version
https://github.com/LdB-ECM/Exchange/tree/master/Xinu
A quick overview of my attack on the code to get that out is given here.
https://github.com/LdB-ECM/Docs_and_Images/blob/master/Documentation/Xinu.md