I recorded the progress of my ideas on a Patreon page that I set up, but I've recently figured out a much simpler approach than my original thinking, which would have involved a SPI-bus-based USB host controller chip, an audio controller, a custom VGA controller, and other stuff that would have made for a too-expensive final product with less-than-desirable specs.
Then I found out about the RP2350 chip in the Pi Pico 2. It has dual 32-bit ARM Cortex-M cores @ 150 MHz (or dual RISC-V cores).