While it is uncertain what further 64-bit kernel development might be done, the
software mentioned in the announcement is available in preliminary form.
This is a repo/manifest build. There should be no need to hunt around
for appropriate commits or releases. Use of different repositories or
commits may or may not result in a working system.
The build/configuration is evolving. At present the rootfs/runtime is busybox
based but without a lot of effort an alternate 64-bit Linux runtime (eg., Ubuntu
or debian-like) works well.
Onboard wifi does not work. The kernel is based upon Electron752 git repository
from the bare-metal/aarch64 thread. There are no immediate plans to make onboard
wifi work. USB wifi dongles are known to work.
Make certain to satisfy build prerequisites outlined at:
Without these the build will most likely fail.
Follow the directions at:
https://github.com/OP-TEE/optee_os/blob ... on/rpi3.md
This is still a work in progress with many moving parts.