It appears there are 2 rockbox firmware versions for the M3K. The older one is binary-only from a .ru site and it uses the linux kernel from the stock firmware. The newer, bare-metal version is still in development. So there's something that works today and a better version in active development.