[vetinari]

You, however, were claiming, that rpi3 does run in 64-bit mode, just not with linux:

> The raspberry pi 3 runs in 32 and 64 mode. There is no >>LINUX<< 64-bit kernel for it currently...

To my knowledge, rpi3 has 64-bit CPU, but all operating systems and bootloaders available run only in 32-bit mode, no exceptions. That means that rpi3 in future theoretically can run in 64-bit mode, but certainly does not today.

[rasz_pl]

Pee bootloader runs on the gpu, so that doesnt matter much. Current bootloader can bootstrap ARM in 64bit mode, as is evidenced by freebsd port and https://www.raspberrypi.org/forums/viewtopic.php?f=72&t=1379... (all but the gpu works)

[markokrajnc]

You are claiming that you know >>all<< operating systems and bootloaders and that >>all<< run only in 32-bit mode - with no exceptions... a big claim about your knowledge...

So you know even all non-public bootloaders and OS-es...