Note:
If the game is running on a Raspberry Pi 3, ensure that sufficient GPU memory is configured (more than just 128 MB). To do this, add "gpu_mem=256" to the config.txt file located in the root directory of your SD card.
For audio via HDMI, configure the following AHI settings in the AROS Prefs app:
Audio mode: RPiHDMI:16 bit stereo++
Frequency: 48000 Hz
Channels: 4
Volume (or Master volume): 100%
Monitor: 0% / Muted
--> Additionally, add the following lines to the config.txt file on the SD card:
hdmi_drive=2
hdmi_force_hotplug=1 | 
Audio (123)