Kernel astro

[cam1965]

I saw this : https://forum.sailfishos.org/t/official-support-for-planet-computers-astro-slide-5g-phone-including-android/4007/19?page=2

And from there : https://github.com/planet-com/astro-kernel

But I don't know if this is the real kernel sources.
Thanks.