Raspberry Pi port, piCore-15.0 is available!
I don't plan to update this extension in the near future - if you, or any other user, would like to update it the build notes are here:http://tinycorelinux.net/11.x/x86/tcz/src/windowmaker/