Native mono crashes [kernel fix released]

And the packages just got promoted to trusty-proposed. (and utopic-proposed for those using 14.10)

I need at least 1 person to test this on a physical server. (please reply if you’re going to try this)

Before you start, be sure you can get into the grub boot menu, which allows you to boot back into an older kernel if needed.

Instructions for 14.04 trusty:

Step 1: Add repository source

Edit /etc/apt/sources.list and add:

deb http://archive.ubuntu.com/ubuntu/ trusty-proposed restricted main multiverse universe

Step 2: Pin it to prevent auto-installs

(using sudoedit for example)
Create /etc/apt/preferences.d/proposed-updates with the following content:

Package: *
Pin: release a=trusty-proposed
Pin-Priority: 400

Step 3: Update apt cache

Run sudo apt-get update

Optional: Verify if pinning is correct:
Run apt-cache policy linux-image-generic
you should see the 3.13.0.53.60 as having the highest (500) priority, with the proposed one at 400 priority.

Step 4: Install kernel

If you have the original trusty 3.13.0 kernel:

  • Run sudo apt-get install linux-image-generic -t trusty-proposed
    OR if you have the lts-utopic backported 3.16.0 kernel:
  • Run sudo apt-get install linux-image-generic-lts-utopic -t trusty-proposed

Step 5: Reboot (assuming you have the default grub config)

Instructions for 14.10 utopic:
I didn’t test this one myself.

Step 1: Add repository source

Edit /etc/apt/sources.list and add:

deb http://archive.ubuntu.com/ubuntu/ utopic-proposed restricted main multiverse universe

Step 2: Pin it to prevent auto-installs

(using sudoedit for example)
Create /etc/apt/preferences.d/proposed-updates with the following content:

Package: *
Pin: release a=utopic-proposed
Pin-Priority: 400

Step 3: Update apt cache

Run sudo apt-get update

Optional: Verify if pinning is correct:
Run apt-cache policy linux-image-generic
you should see the 3.16.0.38.30 as having the highest (500) priority, with the proposed one at 400 priority.

Step 4: Install kernel

Run sudo apt-get install linux-image-generic -t utopic-proposed

Step 5: Reboot (assuming you have the default grub config)