The sources to the GPL part of the empeg have always been available upon request: in fact, they're at www2.empeg.com/sources. We have to provide them, but we don't necessarily shove them down everyone's throat :)

TiVO have the same sort of system - there's a page where you can download them, but it's not obviously linked as most of their customers really don't care what the unit runs and if the source is available - which is the way it should be with an appliance.

Hugo