I am wondering if there is a media-oriented Linux distro which would play back iPod-formatted non-DRM files well on the Mini 10v, since I am thinking of having a triple-boot config with OS X, Windows 7 and a Linux distro. Even if there aren't any to think of, a Linux distro which isn't particularly ugly but uses little battery life would be fine, since long movie and TV show playback battery life would be very much appreciated (I'm getting a 6-cell battery, so battery life and storage capacity would be more than my iPod touch hopefully).