tmomas
2
Seems the devicepage is a bit outdated; I have updated it now.
Not exactly your device, but close enough:
Mentioning of the kernel.bin instead of tar (already back in 2017, an still today the bin is being built, not the tar):
See also
2 Likes