I’ve read the instructions, and think I have the right log file here attached.Also attached the output of Terminal - ‘dmesg’ in case that’s handy.
Let me know if you need anything else.
Essentially, my Thinkpad just seems to take a long time booting, and the only thing I can really see is a time-lag around 25 seconds in the dmesg output:- 25.081808] nvidia 0000:01:00.0: irq 50 for MSI/MSI-X
So I thought it may be relevant.
I don’t really know what else to say to be honest, but hopefully it means something to someone ;-)
Thanks for looking,