Raspberry Pi port, piCore-14.0 is available!
$ tar -xf linux-5.15.10-patched.txz$ cd linux-5.15.10$ make mrproper$ cp ../config-5.15.10-tinycore64 .config$ make oldconfig$ make prepare$ make modules_prepare