what platform is nds4droid on for the nintendo ds with a license of gpl v2?
android