Thanks for the tic80 port. However invoking tic80 without arguments leads to an X server segfault.
Explicitly loading a game cart works, i.e. "tic80 fps80.tic". Hardware is a Lenovo X220 with Intel graphics, no explicit X.org configuration. OS is OpenBSD (amd64) 7.0-stable.
[ 25662.206] (EE) Segmentation fault at address 0x0
[ 25662.206] (EE)
Fatal server error:
[ 25662.206] (EE) Caught signal 11 (Segmentation fault). Server aborting
[ 25662.206] (EE)
[ 25662.206] (EE)