[yocto] raspberrypi3-64 target not booting

[Bill Jenkins]

> On Aug 26, 2017, at 12:36 AM, Herve Jourdain <herve.jourdain at neuf.fr> wrote:
> 
> Hi,
> 
> Are you using vc4 as graphics, or are you using the default userland?
> If you want graphics with 64 bits, you need to use vc4.
> 

The raspberrypi3-64.conf file has the line:

MACHINE_FEATURES_append = " vc4graphics"

I assume this means it is using vc4? There is no use of "userland" in my build/conf
directory. I am fairly new to Yocto, so I am wondering if there is a definitive way to 
tell whether the vc4 graphics were used to build the image.

>> Any ideas on how to get the HDMI port to function the same way as it 
>> does for the 32-bit case?
>> 
> 
> Readding the mailing list.
> 
> what you have is exactly what I had when I submitted the port to
> meta-raspberrypi. Haven;t had a chance to revisit it. but this could
> be related to device tree files we are using here. I have had reports
> from other devs of having been able to boot into graphics using older
> kernels but I never got
> that far myself.
> -- 
> _______________________________________________
> yocto mailing list
> yocto at yoctoproject.org
> https://lists.yoctoproject.org/listinfo/yocto
>