Some folks may be also interested in his latest endeavor.

https://github.com/fachat/MicroPET

It's quite clever. At it's core, it's PET clone.

But deeper, it's not just a PET clone, but 4 other machines in the PET series.

On top of that it's based on a 65816, has B&W 640x480 VGA graphics, as well as several different text modes. As a cherry on top, it can run 4 "virtual" PETs simultaneously.

This is much closer to a machine that I'm interested in. Fundamentally, a fast 65816 with memory (at least 1MB), UART, and access to a "full speed" USB bus (12.5Mbits), which it boots off of (it could also boot off of an SD Card).

This machine is close. The SPI to the Ethernet and USB is 6MHz, and driven by the CPLD rather than bit banged off the CPU.