Well, the kernel is GPL'd, so Sony should have some kind of source code package available if you buy their Linux kit. Mark I got forwarded by the following link, although in Japanese, which says Sony is selling a Linux kit for PS2. Does anybody know more details about this port? Specifically, does anyone have the source code? http://www.jp.playstation.com/linux/