Oh wow, mklinux is still around... http://www.mklinux.org/

Sorry this really has nothing to do with the video, just that the tangental thought of linux on mach made me wonder and I was pleasantly surprised.