I had Chris disable disconnected outputs via his /etc/X11/xorg.conf, which brought probing time from ~0.5s to ~0.13s, however it did not affect the Xorg startup time (still ~5sec). Then, having him connect an external monitor and disable eDP1 brought the startup time down to ~3.6 sec.
<chrisccoulson> the other big delay seems to be here:
<chrisccoulson> [ 11.508] drmOpenDevice: open result is 12, (OK)
<chrisccoulson> [ 13.231] drmOpenByBusid: Searching for BusID pci:0000:00:02.0
I had Chris disable disconnected outputs via his /etc/X11/xorg.conf, which brought probing time from ~0.5s to ~0.13s, however it did not affect the Xorg startup time (still ~5sec). Then, having him connect an external monitor and disable eDP1 brought the startup time down to ~3.6 sec.
<chrisccoulson> the other big delay seems to be here:
<chrisccoulson> [ 11.508] drmOpenDevice: open result is 12, (OK)
<chrisccoulson> [ 13.231] drmOpenByBusid: Searching for BusID pci:0000:00:02.0
Not sure what to make of that.