If you wish to run linux-libre instead of the default kernel (but want the convenience of using the kernel modules that are provided with your version of TCL), here are the steps:
-> go here
http://linux-libre.fsfla.org/pub/linux-libre/releases and download the linux-libre source code tarball (.tar.bz2) that corresponds to desired kernel version (for TCL11 you want version 5.4.3)
-> extract the tarball (e.g., now $HOME/Downloads/linux-5.4.3 exists)
-> change EXTRAVERSION at top of $HOME/Downloads/linux-5.4.3/Makefile from
-gnu to nothing, so that it looks like this:
EXTRAVERSION=-> go to
http://tinycorelinux.net/11.x/x86/release/src/kernel/ and download the TCL-specific patches and config file to ~/Downloads
-> copy the downloaded TCL config file to ~/Downloads/linux-5.4.3/.config
-> do these steps in a terminal:
$ tce-load -i compiletc perl5 bash ncursesw-dev bc glibc_apps elfutils-dev
$ cd ~/Downloads/linux-5.4.3
$ patch -p1 < ../advdef.patch # repeat for each TCL-specific patch
$ make oldconfig
$ make menuconfig # edit the configuration via the menu (if desired)
$ make bzImage
-> once compilation is done (it takes ~15 minutes on my ancient X200 laptop) you'll have bzImage/vmlinuz
-> in your boot partition, rename vmlinuz to vmlinuz-stock
-> rename the vmlinuz you just created to vmlinuz-libre and copy it to your boot partition
-> in your boot partition: $ ln -s vmlinuz-libre vmlinuz
-> reboot
Now you're running linux-libre, which has no blobs and will not load proprietary modules
P.S. If all your hardware is libre-friendly, it shouldn't make much difference whether you run stock kernel or linux-libre. This is mostly for convenience since if I'm running linux-libre and piece of hardware is working, I immediately know that the hardware is using libre firmware--no need for me to look into it.