diff --git a/firmware/formato_lx16.txt b/firmware/formato_lx16.txt
new file mode 100644
index 0000000..d128f16
--- /dev/null
+++ b/firmware/formato_lx16.txt
@@ -0,0 +1,147 @@
+000000-004000 Boot Header Xilinx
+004000-0BC000 Firmware-ROMs (44 ROMs)
+--(004000-006000) ESXDOS
+--(006000-008000) ROM Directory
+--(008000-00C000) Firmware-BIOS
+--(00C000-098000) 35 Spectrum ROMs
+0098000 - Bitstream 1
+010C000 - Bitstream 2
+0180000 - Bitstream 3
+01F4000 - Bitstream 4
+0268000 - Bitstream 5
+02DC000 - Bitstream 6
+0350000 - Bitstream 7
+03C4000 - Bitstream 8
+0438000 - Bitstream 9
+04AC000 - Bitstream 10
+0520000 - Bitstream 11
+0594000 - Bitstream 12
+0608000 - Bitstream 13
+067C000 - Bitstream 14
+06F0000 - Bitstream 15
+0764000 - Bitstream 16
+07D8000 - Bitstream 17
+084C000 - Bitstream 18
+08C0000 - Bitstream 19
+0934000 - Bitstream 20
+09A8000 - Bitstream 21
+0A1C000 - Bitstream 22
+0A90000 - Bitstream 23
+0B04000 - Bitstream 24
+0B78000 - Bitstream 25
+0BEC000 - Bitstream 26
+0C60000 - Bitstream 27
+0CD4000 - Bitstream 28
+0D48000 - Bitstream 29
+0DBC000 - Bitstream 30
+0E30000 - Bitstream 31
+0EA4000 - Bitstream 32
+0F18000 - Bitstream 33
+0F8C000 - Bitstream 34
+--(1000000-1023FFF) 9 Spectrum ROMs
+1024000 - Bitstream special
+1098000 - Bitstream 35
+110C000 - Bitstream 36
+1180000 - Bitstream 37
+11F4000 - Bitstream 38
+1268000 - Bitstream 39
+12DC000 - Bitstream 40
+1350000 - Bitstream 41
+13C4000 - Bitstream 42
+1438000 - Bitstream 43
+14AC000 - Bitstream 44
+1520000 - Bitstream 45
+1594000 - Bitstream 46
+1608000 - Bitstream 47
+167C000 - Bitstream 48
+16F0000 - Bitstream 49
+1764000 - Bitstream 50
+17D8000 - Bitstream 51
+184C000 - Bitstream 52
+18C0000 - Bitstream 53
+1934000 - Bitstream 54
+19A8000 - Bitstream 55
+1A1C000 - Bitstream 56
+1A90000 - Bitstream 57
+1B04000 - Bitstream 58
+1B78000 - Bitstream 59
+1BEC000 - Bitstream 60
+1C60000 - Bitstream 61
+1CD4000 - Bitstream 62
+1D48000 - Bitstream 63
+1DBC000 - Bitstream 64
+1E30000 - Bitstream 65
+1EA4000 - Bitstream 66
+1F18000 - Bitstream 67
+1F8C000 - Bitstream 68
+
+(006000-008000) ROM Directory
+--6000-6B00 44 ROM entries
+--7000-8000 Entry index and Bitstream names
+----7000-704F Entry index
+----7100-7980 68 Bitstream names of Q256 (32 bytes each)
+----7980-8000 Reserved
+
+ROM entry
+  00 slot offset
+  01 slot size
+  02 flags 1
+      Bits 0-1. Machine timings: 00=48K, 01=128K, 10=Pentagon
+      Bit 2. NMI DivMMC: 0=disabled, 1=enabled
+      Bit 3. DivMMC: 0=disabled, 1=enabled
+      Bit 4. Contention: 0=disabled, 1=enabled
+      Bit 5. Keyboard issue: 0=issue 2, 1=issue 3
+  03 flags 2
+      Bit 0. AY chip: 0=enabled, 1=disabled
+      Bit 1. 2nd AY chip (TurboSound): 0=enabled, 1=disabled
+      Bit 2. 7ffd port: 0=enabled, 1=disabled
+      Bit 3. 1ffd port: 0=enabled, 1=disabled
+      Bit 4. ROM low bit: 0=enabled, 1=disabled
+      Bit 5. ROM high bit: 0=enabled, 1=disabled
+      Bit 6. horizontal MMU in Timex: 0=disabled, 1=enabled
+      Bit 7. DivMMC and ZXMMC ports: 0=enabled, 1=disabled
+  08-0f crc16-ccitt values. Up to 4 16-bit values in reverse order
+  10-20 unused
+  20-3f Name of ROM in ASCII, space padded
+
+Tape format
+  Block 1. 0x51 length header
+  Block 2,3.. 16Kb length data blocks
+  Header format:
+    00 slot size
+    01 flags 1
+        Bits 0-1. Machine timings: 00=48K, 01=128K, 10=Pentagon
+        Bit 2. NMI DivMMC: 0=disabled, 1=enabled
+        Bit 3. DivMMC: 0=disabled, 1=enabled
+        Bit 4. Contention: 0=disabled, 1=enabled
+        Bit 5. Keyboard issue: 0=issue 2, 1=issue 3
+    02 flags 2 or special
+        Bit 0. AY chip: 0=enabled, 1=disabled
+        Bit 1. 2nd AY chip (TurboSound): 0=enabled, 1=disabled
+        Bit 2. 7ffd port: 0=enabled, 1=disabled
+        Bit 3. 1ffd port: 0=enabled, 1=disabled
+        Bit 4. ROM low bit: 0=enabled, 1=disabled
+        Bit 5. ROM high bit: 0=enabled, 1=disabled
+        Bit 6. horizontal MMU in Timex: 0=disabled, 1=enabled
+        Bit 7. DivMMC and ZXMMC ports: 0=enabled, 1=disabled
+        special=0x00 normal core or esxdos
+        special=0xcb spectrum core
+        special=0xca firmware
+    07-30 crc16-ccitt values. Up to 21 16-bit values in reverse order
+    31-50 Name in ASCII, space padded
+
+Each block follows the .TAP file standard. That is a header with 2+1 bytes
+for lenght+type and a tail of one byte with the checksum. For example:
+
+Lenght+2   Type (always FF)
+    v      v 
+    vvvvv vv
+    53 00 FF<01 3C 3C 00 00 00 00 FD 5E 00 00 00 00
+    00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00
+    00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00
+    00 00 00 00 5A 58 20 53 70 65 63 74 72 75 6D 20
+    34 38 4B 20 20 20 20 20 20 20 20 20 20 20 20 20
+    20 20 20 20>03 02 40 FF<F3 AF 11 FF FF C3 CB 11
+                ^^ ^^^^^ ^^Type
+                |    |    
+         Checksum  Length+2
diff --git a/firmware/formato_lx25.txt b/firmware/formato_lx25.txt
new file mode 100644
index 0000000..273a447
--- /dev/null
+++ b/firmware/formato_lx25.txt
@@ -0,0 +1,119 @@
+000000-004000 Boot Header Xilinx
+004000-0AFFFF Firmware-ROMs (64 ROMs)
+--(004000-006000) ESXDOS
+--(006000-008000) ROM Directory
+--(008000-00C000) Firmware-BIOS
+--(00C000-0B0000) 41 Spectrum ROMs
+00B0000 - Bitstream 1
+0174000 - Bitstream 2
+0238000 - Bitstream 3
+02FC000 - Bitstream 4
+03C0000 - Bitstream 5
+0484000 - Bitstream 6
+0548000 - Bitstream 7
+060C000 - Bitstream 8
+06D0000 - Bitstream 9
+0794000 - Bitstream 10
+0858000 - Bitstream 11
+091C000 - Bitstream 12
+09E0000 - Bitstream 13
+0AA4000 - Bitstream 14
+0B68000 - Bitstream 15
+0C2C000 - Bitstream 16
+0CF0000 - Bitstream 17
+0DB4000 - Bitstream 18
+0E78000 - Bitstream 19
+0F3C000 - Bitstream 20
+--(1000000-105C000) 23 Spectrum ROMs
+--(105C000-10B0000) empty
+10B0000 - Bitstream special
+1174000 - Bitstream 21
+1238000 - Bitstream 22
+12FC000 - Bitstream 23
+13C0000 - Bitstream 24
+1484000 - Bitstream 25
+1548000 - Bitstream 26
+160C000 - Bitstream 27
+16D0000 - Bitstream 28
+1794000 - Bitstream 29
+1858000 - Bitstream 30
+191C000 - Bitstream 31
+19E0000 - Bitstream 32
+1AA4000 - Bitstream 33
+1B68000 - Bitstream 34
+1C2C000 - Bitstream 35
+1CF0000 - Bitstream 36
+1DB4000 - Bitstream 37
+1E78000 - Bitstream 38
+1F3C000 - Bitstream 39
+
+(006000-008000) ROM Directory
+--6000-6B00 64 ROM entries
+--7000-8000 Entry index and Bitstream names
+----7000-704F Entry index
+----7100-7980 68 Bitstream names of Q256 (32 bytes each)
+----7980-8000 Reserved
+
+ROM entry
+  00 slot offset
+  01 slot size
+  02 flags 1
+      Bits 0-1. Machine timings: 00=48K, 01=128K, 10=Pentagon
+      Bit 2. NMI DivMMC: 0=disabled, 1=enabled
+      Bit 3. DivMMC: 0=disabled, 1=enabled
+      Bit 4. Contention: 0=disabled, 1=enabled
+      Bit 5. Keyboard issue: 0=issue 2, 1=issue 3
+  03 flags 2
+      Bit 0. AY chip: 0=enabled, 1=disabled
+      Bit 1. 2nd AY chip (TurboSound): 0=enabled, 1=disabled
+      Bit 2. 7ffd port: 0=enabled, 1=disabled
+      Bit 3. 1ffd port: 0=enabled, 1=disabled
+      Bit 4. ROM low bit: 0=enabled, 1=disabled
+      Bit 5. ROM high bit: 0=enabled, 1=disabled
+      Bit 6. horizontal MMU in Timex: 0=disabled, 1=enabled
+      Bit 7. DivMMC and ZXMMC ports: 0=enabled, 1=disabled
+  08-0f crc16-ccitt values. Up to 4 16-bit values in reverse order
+  10-20 unused
+  20-3f Name of ROM in ASCII, space padded
+
+Tape format
+  Block 1. 0x51 length header
+  Block 2,3.. 16Kb length data blocks
+  Header format:
+    00 slot size
+    01 flags 1
+        Bits 0-1. Machine timings: 00=48K, 01=128K, 10=Pentagon
+        Bit 2. NMI DivMMC: 0=disabled, 1=enabled
+        Bit 3. DivMMC: 0=disabled, 1=enabled
+        Bit 4. Contention: 0=disabled, 1=enabled
+        Bit 5. Keyboard issue: 0=issue 2, 1=issue 3
+    02 flags 2 or special
+        Bit 0. AY chip: 0=enabled, 1=disabled
+        Bit 1. 2nd AY chip (TurboSound): 0=enabled, 1=disabled
+        Bit 2. 7ffd port: 0=enabled, 1=disabled
+        Bit 3. 1ffd port: 0=enabled, 1=disabled
+        Bit 4. ROM low bit: 0=enabled, 1=disabled
+        Bit 5. ROM high bit: 0=enabled, 1=disabled
+        Bit 6. horizontal MMU in Timex: 0=disabled, 1=enabled
+        Bit 7. DivMMC and ZXMMC ports: 0=enabled, 1=disabled
+        special=0x00 normal core or esxdos
+        special=0xcb spectrum core
+        special=0xca firmware
+    07-30 crc16-ccitt values. Up to 21 16-bit values in reverse order
+    31-50 Name in ASCII, space padded
+
+Each block follows the .TAP file standard. That is a header with 2+1 bytes
+for lenght+type and a tail of one byte with the checksum. For example:
+
+Lenght+2   Type (always FF)
+    v      v 
+    vvvvv vv
+    53 00 FF<01 3C 3C 00 00 00 00 FD 5E 00 00 00 00
+    00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00
+    00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00
+    00 00 00 00 5A 58 20 53 70 65 63 74 72 75 6D 20
+    34 38 4B 20 20 20 20 20 20 20 20 20 20 20 20 20
+    20 20 20 20>03 02 40 FF<F3 AF 11 FF FF C3 CB 11
+                ^^ ^^^^^ ^^Type
+                |    |    
+         Checksum  Length+2
diff --git a/firmware/formato_lx9.txt b/firmware/formato_lx9.txt
new file mode 100644
index 0000000..dcd13a7
--- /dev/null
+++ b/firmware/formato_lx9.txt
@@ -0,0 +1,126 @@
+000000-004000 Boot Header Xilinx
+004000-058000 Firmware-ROMs (19 ROMs)
+--(004000-006000) ESXDOS
+--(006000-008000) ROM Directory
+--(008000-00C000) Firmware-BIOS
+--(00C000-058000) 19 Spectrum ROMs
+058000-0AC000 Bitstream 1
+0AC000-100000 Bitstream 2
+100000-154000 Bitstream 3
+154000-1A8000 Bitstream 4
+1A8000-1FC000 Bitstream 5
+1FC000-250000 Bitstream 6
+250000-2A4000 Bitstream 7
+2A4000-2F8000 Bitstream 8
+2F8000-34C000 Bitstream 9
+34C000-400000 (size B4000 = 720K) Reserved for other 45 spectrum roms (64 in total)
+400000-453FFF Bitstream 10
+454000-4A7FFF Bitstream 11
+4A8000-4FBFFF Bitstream 12
+4FC000-54FFFF Bitstream 13
+550000-5A3FFF Bitstream 14
+5A4000-5F7FFF Bitstream 15
+5F8000-64BFFF Bitstream 16
+64C000-69FFFF Bitstream 17
+6A0000-6F3FFF Bitstream 18
+6F4000-747FFF Bitstream 19
+748000-79BFFF Bitstream 20
+79C000-7EFFFF Bitstream 21
+7F0000-843FFF Bitstream 22
+844000-897FFF Bitstream 23
+898000-8EBFFF Bitstream 24
+8EC000-93FFFF Bitstream 25
+940000-993FFF Bitstream 26
+994000-9E7FFF Bitstream 27
+9E8000-A3BFFF Bitstream 28
+A3C000-A8FFFF Bitstream 29
+A90000-AE3FFF Bitstream 30
+AE4000-B37FFF Bitstream 31
+B38000-B8BFFF Bitstream 32
+B8C000-BDFFFF Bitstream 33
+BE0000-C33FFF Bitstream 34
+C34000-C87FFF Bitstream 35
+C88000-CDBFFF Bitstream 36
+CDC000-D2FFFF Bitstream 37
+D30000-D83FFF Bitstream 38
+D84000-DD7FFF Bitstream 39
+DD8000-E2BFFF Bitstream 40
+E2C000-E7FFFF Bitstream 41
+E80000-ED3FFF Bitstream 42
+ED4000-F27FFF Bitstream 43
+F28000-F7BFFF Bitstream 44
+F7C000-FCFFFF Bitstream 45
+
+(006000-008000) ROM Directory
+--6000-7000 ROM Entries and Bitstream names
+----6000-64C0 First 19 entries (points to 00C000)
+----64C0-7000 Last 45 entries (points to 34C000)
+--7000-8000 Entry index and Bitstream names
+----7000-704F Entry index
+----7100-7200 8 Bitstream names of Q32 (32 bytes each)
+----7200-7680 36 Next bitstream names in Q128 (32 bytes each)
+----7680-8000 Reserved
+
+ROM entry
+  00 slot offset
+  01 slot size
+  02 flags 1
+      Bits 0-1. Machine timings: 00=48K, 01=128K, 10=Pentagon
+      Bit 2. NMI DivMMC: 0=disabled, 1=enabled
+      Bit 3. DivMMC: 0=disabled, 1=enabled
+      Bit 4. Contention: 0=disabled, 1=enabled
+      Bit 5. Keyboard issue: 0=issue 2, 1=issue 3
+  03 flags 2
+      Bit 0. AY chip: 0=enabled, 1=disabled
+      Bit 1. 2nd AY chip (TurboSound): 0=enabled, 1=disabled
+      Bit 2. 7ffd port: 0=enabled, 1=disabled
+      Bit 3. 1ffd port: 0=enabled, 1=disabled
+      Bit 4. ROM low bit: 0=enabled, 1=disabled
+      Bit 5. ROM high bit: 0=enabled, 1=disabled
+      Bit 6. horizontal MMU in Timex: 0=disabled, 1=enabled
+      Bit 7. DivMMC and ZXMMC ports: 0=enabled, 1=disabled
+  08-0f crc16-ccitt values. Up to 4 16-bit values in reverse order
+  10-20 unused
+  20-3f Name of ROM in ASCII, space padded
+
+Tape format
+  Block 1. 0x51 length header
+  Block 2,3.. 16Kb length data blocks
+  Header format:
+    00 slot size
+    01 flags 1
+        Bits 0-1. Machine timings: 00=48K, 01=128K, 10=Pentagon
+        Bit 2. NMI DivMMC: 0=disabled, 1=enabled
+        Bit 3. DivMMC: 0=disabled, 1=enabled
+        Bit 4. Contention: 0=disabled, 1=enabled
+        Bit 5. Keyboard issue: 0=issue 2, 1=issue 3
+    02 flags 2 or special
+        Bit 0. AY chip: 0=enabled, 1=disabled
+        Bit 1. 2nd AY chip (TurboSound): 0=enabled, 1=disabled
+        Bit 2. 7ffd port: 0=enabled, 1=disabled
+        Bit 3. 1ffd port: 0=enabled, 1=disabled
+        Bit 4. ROM low bit: 0=enabled, 1=disabled
+        Bit 5. ROM high bit: 0=enabled, 1=disabled
+        Bit 6. horizontal MMU in Timex: 0=disabled, 1=enabled
+        Bit 7. DivMMC and ZXMMC ports: 0=enabled, 1=disabled
+        special=0x00 normal core or esxdos
+        special=0xcb spectrum core
+        special=0xca firmware
+    07-30 crc16-ccitt values. Up to 21 16-bit values in reverse order
+    31-50 Name in ASCII, space padded
+
+Each block follows the .TAP file standard. That is a header with 2+1 bytes
+for lenght+type and a tail of one byte with the checksum. For example:
+
+Lenght+2   Type (always FF)
+    v      v 
+    vvvvv vv
+    53 00 FF<01 3C 3C 00 00 00 00 FD 5E 00 00 00 00
+    00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00
+    00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00
+    00 00 00 00 5A 58 20 53 70 65 63 74 72 75 6D 20
+    34 38 4B 20 20 20 20 20 20 20 20 20 20 20 20 20
+    20 20 20 20>03 02 40 FF<F3 AF 11 FF FF C3 CB 11
+                ^^ ^^^^^ ^^Type
+                |    |    
+         Checksum  Length+2