Comment by kuhn

Currently running Ubuntu 12.10 on a brand new HP Envy 4 Ultrabook. Everything works just fine, but I had to use Boot Repair and turn off secure boot in the BIOS before Grub would show at boot.