Abaixo está uma instrução que descreve uma tarefa de geração de SQL, combinada com uma entrada que fornece mais contexto sobre os esquemas de tabela disponíveis. Escreva o código SQL que responda adequadamente à solicitação
 ###Instrução: Qual plataforma está o nds4droid para o nintendo ds com uma licença de gpl v2?
 ###Tabelas: CREATE TABLE known_disk_logical_formats (known_disk_logical_formats_id AUTO_INCREMENT PRIMARY KEY, Platform VARCHAR, Size VARCHAR, Density VARCHAR, Bytes/ sector INT, Sectors/ track VARCHAR, Tracks/ side VARCHAR, Sides INT, Capacity VARCHAR, Encoding VARCHAR) CREATE TABLE senior_tries (senior_tries_id AUTO_INCREMENT PRIMARY KEY, Date VARCHAR, Venue VARCHAR, Opponent VARCHAR, Result VARCHAR, Tournament VARCHAR, Scored INT) CREATE TABLE heat_4 (heat_4_id AUTO_INCREMENT PRIMARY KEY, Rank INT, Athletes VARCHAR, Country VARCHAR, Time VARCHAR, Notes VARCHAR) CREATE TABLE list_of_current_republican_governors (list_of_current_republican_governors_id AUTO_INCREMENT PRIMARY KEY, Current Governor VARCHAR, State VARCHAR, Past VARCHAR, Took office INT, Current term VARCHAR) CREATE TABLE nintendo_ds (nintendo_ds_id AUTO_INCREMENT PRIMARY KEY, Name VARCHAR, Current version VARCHAR, System VARCHAR, Platform VARCHAR, License VARCHAR)  
SELECT Platform FROM nintendo_ds WHERE System = nintendo ds AND License = gpl v2 AND Name = nds4droid