Nice. There is another very interesting “bare metal” implementation of Zx Spectrum on Pi: https://zxmini.speccy.org/en/index.html