Looking at your BootDmesg.txt, I notice that you are using the proprietary NVIDIA binary driver, so ignore what I wrote above. However there was another bug in the original Ubuntu 13.04 "Raring Ringtail" release which caused no HDMI audio - this was fixed in the 3.8.0-22.33 kernel update.
Can you retest and report back? ** Changed in: pulseaudio (Ubuntu) Status: New => Incomplete -- You received this bug notification because you are a member of Desktop Packages, which is subscribed to pulseaudio in Ubuntu. https://bugs.launchpad.net/bugs/1183478 Title: [MotherBoard IONITX-S-E, Nvidia GPU 0b HDMI/DP, Digital Out, HDMI] Pulseaudio fails to detect card Status in “pulseaudio” package in Ubuntu: Incomplete Bug description: After upgrading to 13.04 I no longer have any sound. ProblemType: Bug DistroRelease: Ubuntu 13.04 Package: pulseaudio 1:3.0-0ubuntu6 ProcVersionSignature: Ubuntu 3.8.0-21.32-generic 3.8.8 Uname: Linux 3.8.0-21-generic i686 NonfreeKernelModules: nvidia ApportVersion: 2.9.2-0ubuntu8 Architecture: i386 AudioDevicesInUse: USER PID ACCESS COMMAND /dev/snd/controlC0: jeff 1861 F.... pulseaudio jeff 4683 F.... pulseaudio Date: Thu May 23 13:45:04 2013 InstallationDate: Installed on 2012-11-08 (195 days ago) InstallationMedia: Ubuntu 12.10 "Quantal Quetzal" - Release i386 (20121017.2) MarkForUpload: True ProcEnviron: PATH=(custom, no user) XDG_RUNTIME_DIR=<set> LANG=en_US.UTF-8 SHELL=/bin/bash SourcePackage: pulseaudio Symptom: audio Symptom_Card: HDA-Intel - HDA NVidia Symptom_Jack: Digital Out, HDMI Title: [MotherBoard IONITX-S-E, Nvidia GPU 0b HDMI/DP, Digital Out, HDMI] Pulseaudio fails to detect card UpgradeStatus: Upgraded to raring on 2013-05-21 (2 days ago) dmi.bios.date: 08/08/2011 dmi.bios.vendor: American Megatrends Inc. dmi.bios.version: 080016 dmi.board.asset.tag: NA dmi.board.name: IONITX-S-E dmi.board.vendor: ZOTAC dmi.board.version: 01 dmi.chassis.asset.tag: NA dmi.chassis.type: 3 dmi.chassis.vendor: NA dmi.chassis.version: NA dmi.modalias: dmi:bvnAmericanMegatrendsInc.:bvr080016:bd08/08/2011:svnMotherBoardByZOTAC:pnMotherBoardIONITX-S-E:pvrMotherBoard01:rvnZOTAC:rnIONITX-S-E:rvr01:cvnNA:ct3:cvrNA: dmi.product.name: MotherBoard IONITX-S-E dmi.product.version: MotherBoard 01 dmi.sys.vendor: MotherBoard By ZOTAC To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/pulseaudio/+bug/1183478/+subscriptions -- Mailing list: https://launchpad.net/~desktop-packages Post to : desktop-packages@lists.launchpad.net Unsubscribe : https://launchpad.net/~desktop-packages More help : https://help.launchpad.net/ListHelp