eyengin

Thanks! Working with VexRiscv sounds like fun. Looking forward to seeing how it goes.

Thanks! It's asciinema + svg-term-cli:

    asciinema rec -c "tio /dev/ttyUSB1 -b 115200" uart_output.cast
    cat uart_output.cast | svg-term --window > example.svg