Eu acho que o Ubuntu 13.04 já vem com drivers Intel 4000 ... tente exibir o menu e tente encontrar a tv, se você não puder, talvez o driver hmdi não está definido. Você já tentou entrar em contato com a Samsung?
Eu tenho o ultrabook Samsung 530U3C com gráficos Intel HD4000. Eu tenho o Ubuntu 13.04 (nova instalação). O laptop está conectado à porta HDMI da TV, mas não é detectado pelo laptop. A TV mostra que é usada a porta HDMI.
No Windows tudo funciona perfeitamente: detecção, imagem, som.
Eu também instalei os drivers intel usando o aplicativo Intel Linux Graphics Drivers.
Tem alguma ideia do que posso fazer a seguir?
Eu acho que o Ubuntu 13.04 já vem com drivers Intel 4000 ... tente exibir o menu e tente encontrar a tv, se você não puder, talvez o driver hmdi não está definido. Você já tentou entrar em contato com a Samsung?