[19:01] <suihkulokki> https://bugs.launchpad.net/ubuntu/+source/procps/+bug/1416210 <- I take this is invalid as procps doesn't ship any of the mentioned initfiles?
[22:17] <sabotender> greetings!
[22:18] <sabotender> moo 🐮
[22:18] <sabotender> I am having issues with receiving a display when I connect to micro hdmi. Here is a link to my kern.log: http://paste.scsys.co.uk/461529
[22:19] <sabotender> I was hoping that you would give me a few ideas of troubleshooting steps that I could try