7K 48:1897% The TTL RGB2HDMI Raspberry Pi solution, some CHIP SBCs, SIMM sockets and formatting 720k floppies