On the very first run on a new install there will be an example.zip under amiga just to get ES started (look at /usr/bin/es-firstrun.sh which is started by /usr/lib/systemd/system/es-firstrun.service). ES is somewhat user-unfriendly in matters of getting it up and running, but once it's set up it does a good job of actually launching games and presenting them in a clear way.
Ok, I'll explain a bit about how I intended audio to work as it doesn't seem to automagically work for everyone like it should.
Normally, Kodi is run either with sound output to either Pulseaudio or directly to ALSA. LibreELEC patches Kodi in order to use ALSA, but also keep Pulseaudio available as a choice in order to use Bluetooth speakers. When using ALSA, it's easy to pick an output from the list that appears in Kodi. When using Pulseaudio, Kodi doesn't have functionality to show available sinks, cards, ports etc.
You can get it to behave like vanilla LibreELEC if you like, by setting the environment variable KODI_AE_SINK=ALSA+PULSE in /storage/.config/kodi.conf.
Now why don't I just keep that as a default? Well, if you would like to use emulators then most likely you would need to tailor an asound.conf in order to get audio as well. In other words, some manual setup will be needed either way. On the plus side, once Pulseaudio is set up properly you will be able to have sound in Kodi without it locking the sound card. This way you can for example stream A2DP music from your phone and at the same time have GUI sounds in Kodi, or even watch a movie. Same goes when using emulators. I think the best solution is to have Pulseaudio working correctly.
So... this might sound overcomplicated and you just want to have sound. I get it, the process could be a lot simpler. Basically, you need to tell Pulseaudio which output to use. Here's a small cheat sheet:
List available "sinks" (audio outputs):
# pactl list sinks short
If you have several soundcards, you might need to set the default sink like so:
# pactl set-default-sink alsa_output.pci-0000_00_1f.3.hdmi-stereo
If you still don't have sound, it might be because your sound card have several ports (like HDMI1/HDMI2 etc) and Pulseaudio didn't detect the active one. List your cards profiles and ports like this:
# pactl list cards
Set a profile like this:
# pactl set-card-profile alsa_card.pci-0000_00_1f.3 output:hdmi-surround-extra2+input:analog-stereo
"extra2" is equivalent to HDMI3 on my system, you should be able to figure it out by using the above commands and some patience. If you provided me the logs, they would include all this information so I could tell you the exact command.
Pulseaudio works out of the box on my NUC8, and also when booting the image in VMware on my laptops. I'm curious as to why the auto detection fails for you though.