I tried the apt method, but I didn't find 5.0 kernels there. Perhaps because Linux Mint 18.3 is based on ubuntu 16.04. And newer kernels are not supported. I could try the tool called UKUU for changing kernels, but I am not sure is it wise to use newer kernels not supported by my distro ? Perhaps I just keep using 14.5.-0.50 kernel when ever I need HDMI-audio.
-- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1834771 Title: No HDMI-audio after kernel 4.15.-0.50 To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/linux/+bug/1834771/+subscriptions -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs