Comment by jech

Nice. They're using the Xvesa server, which doesn't include any hardware drivers and instead runs the VESA BIOS in a 16-bit virtual machine.

https://www.xfree86.org/current/Xvesa.1.html