Yeah, "Kano OS is based on the Raspbian OS which itself is based on Debian, a Linux based operating system." Not sure if it's 64bit, will check on the weekend.
No rush, I just think it would be cool for the kids to see that it's possible to build their own games.