Question: What platform is nds4droid on for the nintendo ds with a license of gpl v2?
SQL: SELECT platform FROM table_name_93 WHERE system = "nintendo ds" AND license = "gpl v2" AND name = "nds4droid"