Raspberry Pi port, piCore-15.0 is available!
Yes it is: http://tinycorelinux.net/11.x/x86_64/tcz/wmalauncher.tcz.info
$ tce-load -i wmalauncher$ echo "wmalauncher &" > ~/.X.d/wmalauncher$ startx
Code: [Select]$ tce-load -i wmalauncher$ echo "wmalauncher &" > ~/.X.d/wmalauncher$ startx
Ah - maybe this will help:https://mxlinux.org/wiki/help-files/wmalauncher/