Tiny Core Linux

Tiny Core Base => Raspberry Pi => Topic started by: lykkedk on April 06, 2020, 03:29:53 AM

Title: RPI kernel 64bit / userspace 32 bit
Post by: lykkedk on April 06, 2020, 03:29:53 AM

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.

Title: Re: RPI kernel 64bit / userspace 32 bit
Post by: Juanito on April 06, 2020, 03:56:41 AM

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.