Rookie1 released his menu system for Dingoo Linux which resembles the default Dingoo menu.

http://dl.openhandhelds.org/cgi-bin/dingoo.cgi?0,0,0,0,116,101