Son 8KB.
Pues generar el CRT tuvo su miga jeje... así que aviso tostón:
Este cartucho se auto-desactiva escribiendo en $DF00, pero este comportamiento a nivel hardware depende de cómo esté hecho cada cartucho a nivel electrónico. Como no hay 2 cartuchos iguales, el formato CRT no es en realidad un formato genérico, sino que contiene IDs para 30 y pico tipos de cartucho y si un emulador quiere soportarlos todos, debe implementarlos caso por caso. Que yo sepa el VICE es el único que lo hace, los demás emuladores se centran en los formatos más típicos.
Estos son los formatos que soportan VICE y varios emuladores como el Ultimate+:
http://ar.c64.org/wiki/CRT_IDCasualmente el MACH5 se parece bastante al L&S: en un MACH5 al escribir en $DF00 se desactiva y al escribir en $DE00 se reactiva. Esto último no sé si lo hace el L&S exactamente igual pero no importa mucho ya que una vez copiado en RAM no hay ninguna necesidad de reactivarlo.
El tema es que el MACH5 es un cartucho de 8 KB. Así que el CRT que he subido contiene 2 copias de la ROM de 4 KB una detrás de otra, y por eso mide 8 KB.
Esto además es coherente con el comportamiento real porque en el volcado de mydok se ven dos copias (una en $8000 y otra en $9000).
No he probado los 23 comandos pero los de turbo van, $, <- también y los otros más chorras (convertir de dec a hex) también.