Hello Alexey!

29 May 20 14:00, you wrote to me:

 AV> 28 May 2020 22:35:28, you wrote to All:

 KvE>> Linux raspberrypi 5.4.42-v8+ #1319 SMP PREEMPT
 KvE>> Wed May 20 14:18:56 BST 2020 aarch64 GNU/Linux

 AV> Duh...

 AV> gremlin@pi4:~ > uname -a
 AV> Linux pi4.lan 5.6.14rpi4 #2 SMP Tue May 26 16:57:50 UTC 2020 aarch64
 AV> GNU/Linux

 AV> gremlin@pi4:~ > rpm -q kernel-{image,modules,dts}-rpi4
 AV> kernel-image-rpi4-5.6.14-alt1.aarch64
 AV> kernel-modules-rpi4-5.6.14-alt1.aarch64
 AV> kernel-dts-rpi4-5.6.14-alt1.noarch

I know there are 64bit implementations by other distributions. But the
Raspberry people held on to 32bit, to enable uniform software on all there
models. Now they have given in to the pressure for a 64bit Raspbian, that is
what I wanted to transmit.

Kees

--- GoldED+/LNX 1.1.5--b20180707