https://opensource.apple.com/source/xnu/xnu-4903.221.2/pexpert/pexpert/arm64/BCM2837.h.auto.html https://opensource.apple.com/source/xnu/xnu-4903.221.2/pexpe...

https://opensource.apple.com/source/xnu/xnu-4903.221.2/pexpert/pexpert/arm64/BCM2837.h.auto.html https://opensource.apple.com/source/xnu/xnu-4903.221.2/pexpe... The kernel can boot on the rPI