Cool, it's from the same author (Fabrice Bellard) who coded the PC emulator in Javascript: http://bellard.org/jslinux/ ("How much time takes your browser to boot Linux?")