Sí Bahiano, el divIDE funciona practicamente en todos los spectrum 48K/128k/+2/+2A+3, en el caso de la tk90x hay que hacerle una leve modificacion para que ande que la descubrio Velesoft como bien dice Hernán, a partir de ahi decidio hacer un divIDE "nuevo" 57d que ademas de funcionar con la tk90x tiene otras mejoras,
ACA se puede seguir el hilo en WOS donde hay imagenes de este divIDE, aunque por lo que vi, cuesta como 69 euros, medio carito. Yo lo que hice fue comprarme el Kit que vende
ESTE checo costando 31 euros mas 10 euros de gastos de envío, armarlo es re facil porque tanto los componentes como la placa son de excelente calidad y siguiendo el plano no hay como errarle. Cual es la ventaja de comprar el Kit, que te sale un poco mas barato y ademas te lo mandan al toke, como desventaja que luego de armarlo no te funcione
, pero teniendo un poquito de experiencia con el soldador no debería haber problemas en montarlo.
Estaba por hacer un post de como montar este Kit pero no se si tiene mucho sentido.