¡Buf!, no te sabría decir si la RAM se localiza en $8000-$9FFF o en $C000-$DFFF; pero me decantaría por esta última. De todas formas los equipos de 8Kb (¿existía un Daewoo?) son tanto o más marginales como los equipos con los puertos del VDP diferentes al $98-$99; la verdad, yo no me preocuparía demasiado por eso...