RPI kernel 64bit / userspace 32 bit

[lykkedk]

Hi here 

I was looking at the testreleases for 11.x. for trying on a RPI4(4GB)

There are the arm7, and the arm71
Whats the difference (64bit kernel vs. 32bit & userspace bit's in mind)

Thanks guy's

Jesper.

[Juanito]

The piCore-11.0beta1a.zip files in armv6, armv7 and armv7l are the same size so I presume they are the same file (I could be wrong).

My RPi4 boots to armv7 rather than armv7l - I'm not sure if this is intended or not.

I believe that the armv7l files are 32-bit, but I haven't checked.