FYI: Just found a page at http://www.dishnetwork.com/content/products/receivers/dvr/Sourcecode/index.shtml
where E* recognized that it uses Linux OS and discloses a partial source code for DISH 322, DISH 411, DISH Player-DVR 522, DISH Player-DVR 625, DISH Player-DVR 942, ViP211, and ViP622 DVR.
where E* recognized that it uses Linux OS and discloses a partial source code for DISH 322, DISH 411, DISH Player-DVR 522, DISH Player-DVR 625, DISH Player-DVR 942, ViP211, and ViP622 DVR.