display_name = "Atari 7800 (ProSystem)" authors = "Greg Stanton|Brian Berlin|Leonis|Greg DeMent" supported_extensions = "a78|bin" corename = "ProSystem" manufacturer = "Atari" categories = "Emulator" systemname = "Atari 7800" license = "GPLv2" permissions = "" display_version = "1.3e" supports_no_game = "false" firmware_count = 2 firmware0_desc = "ProSystem.dat (Atari 7800 Database)" firmware0_path = "ProSystem.dat" firmware0_opt = "false" firmware1_desc = "7800 BIOS (U).rom (Atari 7800 BIOS)" firmware1_path = "7800 BIOS (U).rom" firmware1_opt = "true"