[yocto] [meta-raspberrypi][PATCH 0/2] Support for 64bits target on raspberrypi3

[Herve Jourdain]

This adds the support of 64bits, for raspberrypi3 only (because based on cortexa53).
It's composed of a "generic" part, which should apply to all 64bits ports on future kernels,
and of a port to Linux kernel 4.7.
The port to Linux kernel 4.7 was finished early August, initially on 4.7.0, then was moved to 4.7.2.
Since the revisions I used then seem to have vanished from the raspberrypi tree, it was ported
to the latest 4.7 "good version" (4.7.10).
There are a few things to know about the 64bits ports on raspberrypi:
* userland doesn't work. It's mostly because the binary blob in the GPU communicates with the CPU using 32bits pointers... And since 64bits is not officially supported by raspberrypi foundation, they will not modify the binary blob (until they decide it's officially supported)
* VC4 should work (but I didn't test it). Boot messages seem to show it initialized correctly.
* Some drivers selected are different than the stock 32bits drivers, which can lead to some different log messages.

It's been tested with ethernet, sdcards support, USB support, and a few others, and seemed to work fine with those.
It's not been tested with HATs.

This is mostly for people who have an interest in 64bits, and can bear the limitations.

Herve Jourdain (2):
  Support for 64bits target on raspberrypi3 (generic part)
  Support for 64bits target on raspberrypi3 (patches for supporting
    64bits on linux 4.7)

 classes/sdcard_image-rpi.bbclass                   |    2 +
 conf/machine/include/rpi-base.inc                  |   21 +
 recipes-bsp/bootfiles/rpi-config_git.bb            |    6 +
 .../0001-fix-dtbo-rules.patch                      |   19 +-
 .../0002-support-64bits.patch                      | 2080 ++++++++++++++++++++
 recipes-kernel/linux/linux-raspberrypi.inc         |    2 +
 recipes-kernel/linux/linux-raspberrypi_4.7.bb      |    2 +
 recipes-kernel/linux/linux-rpi.inc                 |   38 +-
 8 files changed, 2157 insertions(+), 13 deletions(-)
 create mode 100644 recipes-kernel/linux/linux-raspberrypi-4.7/0002-support-64bits.patch

-- 
2.7.4