16 KB RAM for the HP-85AΒΆ

EBTKS can be configured in the CONFIG.TXT file to provide 16 KB of RAM in the upper part of a HP85A computer (and probably also HP83).

This capability should not be enabled in HP85B, or HP86/87 as they already implement this memory area.