Instruct: What platform is nds4droid on for the nintendo ds with a license of gpl v2?
Output: SELECT Platform FROM table WHERE System = nintendo ds AND License = gpl v2 AND Name = nds4droid