I've fixed it through commenting out a few codelines: if (edid) drm_add_edid_modes(output, edid);
in static int intel_lvds_get_modes(struct drm_output *output) file intel_lvds.c of package psb-kernel-source -- intel poulsbo (psb): kernel BUG: unable to handle kernel NULL pointer dereference at 00000000 https://bugs.launchpad.net/bugs/406529 You received this bug notification because you are a member of Ubuntu-X, which is subscribed to xserver-xorg-video-psb in ubuntu. _______________________________________________ Mailing list: https://launchpad.net/~ubuntu-x-swat Post to : ubuntu-x-swat@lists.launchpad.net Unsubscribe : https://launchpad.net/~ubuntu-x-swat More help : https://help.launchpad.net/ListHelp