Is there a web site that lists the embedded OS that hardware (TV's, speakers, refrigerators, DVRs, toasters, etc.) are running? I'm mainly interested in learning which consumer items are running FreeBSD, but also interested the hardware running Linux, embedded Windows, etc.