i recently got 4 ODROID-C2 boards to build a simple docker cluster for educational reason.
As you certainly know, the C2 has compared to the RPi 3 also ARMv8 architecture, improved RAM and CPU speed and is also known and used by a growing community.
On my search for a small linux host system, i wondered why there is no Tiny Core Linux available.
Is there a particular reason? License reasons? I searched the forum but did not find any clues.
As far as i know, there is only a maintained legacy kernel available at the moment, but mainline support is under development and partially included in kernel 4.10.
So would it be possible to use the HARDKERNEL legacy kernel or the mainline kernel to build a TCL variant for the C2?
Thanks in advance