Instruct: What platform is nds4droid on for the nintendo ds?
Output: SELECT Platform FROM table WHERE System = nintendo ds AND Name = nds4droid