Also doesn't mention his JS-based linux: http://bellard.org/jslinux/