<somlo>
davidlt[m]: it's the equivalent of `DefaultTimeoutStartSec` in /etc/systemd/system.conf, but on the kernel cmdline it definitely applies to both the initrd version of systemd *and* the one that gets loaded after pivoting to the real `/`
<somlo>
I now have a 4h:45m asciinema recording of my ecpix5 board booting Fedora, installing yosys, trellis, nextpnr, and building an LED blinky bitstream for the ecpix5 board
<somlo>
tomorrow I'll make an mp4 out of it (easier to fast-forward and pause in VLC) :)