Error in link to linux source kernel used for Raspberry Pi V12.0

[xsquared]

I just upgraded to TC v12.0 for my Raspberry Pi project and noticed what I assumed to be a typo on the website. In the src directory for the kernel - http://tinycorelinux.net/12.x/armv6/releases/RPi/src/kernel/ - all the version numbers are 5.4.51 except the linux source, which is labelled linux-5.4.41-piCore.tar.xz.

I downloaded and uncompressed the linux source and the Makefile says it is 5.4.51, so I assumed that the label was incorrect and renamed my directory accordingly.

However, when I build some extra kernel modules I needed, they built fine, but I got the dreaded "can't load module - invalid module format" from modprobe. Could it be that this isn't the kernel source that the 5.4.51-piCore-v7l kernel was built against?

Please help. Thanks.

[Rich]

Hi xsquared
If the kernel modules you want aren't in any of the  *-modules-5.4.51-piCore.tcz  extensions listed here:
http://tinycorelinux.net/12.x/armv6/tcz
They may be in  modules-5.4.51-piCore.tar.xz  also located at:
http://tinycorelinux.net/12.x/armv6/releases/RPi/src/kernel/

You'll have to wait for Juanito or Paul_123 to see what the issue with the numbering discrepancy is.

[Paul_123]

The kernel source is identical in all versions (v6,v7,v7l,v8).  The difference is the configs used.

If you are trying to compile new modules that were originally not built, you will need 3 files

.config
System.map
Module.symvers

They are located in the same directories as the kernel source.
http://www.tinycorelinux.net/12.x/armv6/releases/RPi/src/kernel/
http://www.tinycorelinux.net/12.x/armv7/releases/RPi/src/kernel/
http://www.tinycorelinux.net/12.x/aarch64/releases/RPi/src/kernel/


But likely you want a module that was built, just not part of any extension.  Those are in the module tar files that Rich pointed you to.

[Rich]

Hi Paul_123
The kernel source version is labeled  5.4.41-piCore.
The other files have their version labeled as  5.4.51-piCore:
http://tinycorelinux.net/12.x/armv6/releases/RPi/src/kernel/

[xsquared]

Thank-you Rich and Paul for your swift replies.

Ah! My issue was that I wasn't using the correct config, so I should've been using the v7 for my RPi board. And, interestingly, in that directory, the linux source file was named with the correct kernel version, so I think it was just a typo in the v6.



NB: The drivers I was seeking are to get 3D acceleration working on x windows. I don't see an extension for that, but I do see the drivers in the modules-5.4.51-piCore.tar.xz, so I can use those. I got this working on TC 11.0 and it saves a lot of processing for CPU if you're doing much OpenGL stuff. If there's interest for this, I could wrap my work into an extension - basically ko files and a couple of config files.

[Rich]

Hi xsquared
Extension submissions are always welcome. There is a Wiki which should provide some useful information:
http://wiki.tinycorelinux.net/doku.php?id=wiki:creating_extensions

The instructions for emailing the extension are here:
http://wiki.tinycorelinux.net/doku.php?id=wiki:creating_extensions#submitting

Use the  tcesubmit  email address, not the  picoresubmit  address.

[Rich]

Hi xsquared

... I should've been using the v7 for my RPi board. And, interestingly, in that directory, the linux source file was named with the correct kernel version, so I think it was just a typo in the v6. ...

Really? I see  linux-5.4.41-piCore.tar.xz  listed in all 3 releases:
http://tinycorelinux.net/12.x/armv6/releases/RPi/src/kernel/
http://tinycorelinux.net/12.x/armv7/releases/RPi/src/kernel/
http://tinycorelinux.net/12.x/aarch64/releases/RPi/src/kernel/

[xsquared]

Sorry Rich, it's getting late, yep, they all appear to be .41

[Rich]

Hi xsquared
No worries.

[Juanito]

NB: The drivers I was seeking are to get 3D acceleration working on x windows. I don't see an extension for that, but I do see the drivers in the modules-5.4.51-piCore.tar.xz, so I can use those.

The piCore-12.x 3d graphics acceleration is working with the graphics-KERNEL and Xorg-3d extensions.

[xsquared]

Thanks Juanito, that's exactly what I need. Dang, that would've saved me a few hours I'll have to get more familiar with the TC extensions repository.

[Rich]

Hi xsquared
If you have a GUI, click on the  Apps  icon. Then  Apps->Cloud (Remote)->Browse.  Then click on the  Search  dropdown
and change it to  Provides.  Enter what you are looking for in the the textbox to the right (i.e. drm.ko).

If you don't have a GUI, enter  tce-ab  at the command line.

[Rich]

Hi Juanito

Hi xsquared

... I should've been using the v7 for my RPi board. And, interestingly, in that directory, the linux source file was named with the correct kernel version, so I think it was just a typo in the v6. ...

Really? I see  linux-5.4.41-piCore.tar.xz  listed in all 3 releases:
http://tinycorelinux.net/12.x/armv6/releases/RPi/src/kernel/
http://tinycorelinux.net/12.x/armv7/releases/RPi/src/kernel/
http://tinycorelinux.net/12.x/aarch64/releases/RPi/src/kernel/

I checked the version number inside of  linux-5.4.41-piCore.tar.xz  and it is  5.4.51  as it should be.
All 3 locations have been renamed to reflect the correct version number.