The guys at Gamepark Holdings released the OS source tree for the recently released GP2x-F200 model.

You can download the code via subversion from : http://svn.gp2x.com/gp2x/tag/kernel-f200/

http://www.gp32x.com/board/index.php?showtopic=39414