linuxmint 15 cinnamon[DVD][Nocodecs][32bit]

Known issues
PAE required for 32-bit ISOs
The 32-bit ISOs of Linux Mint 15 use a PAE kernel. If your processor is not compatible with PAE please use Linux Mint 13 Maya LTS instead. Linux Mint 13 is supported until 2017.

EFI support
If your system is using secureBoot, turn it off.

If you installed Linux Mint in Virtualbox in EFI mode and it cannot boot post-install, type "exit", choose "Boot Maintenance Manager", "Boot from file" and select EFI/linuxmint/grubx64.efi.

Post-installation, the EFI boot file is located in /boot/efi/EFI/linuxmint/grubx64.efi. If your system is unable to find this file, copy it to /boot/efi/boot/bootx64.efi (alternatively you can write "fs0:EFIlinuxmintgrubx64.efi" into a /boot/efi/startup.nsh file).

HDMI Sound output
If your HDMI Sound output does not work out of the box, you can try the following solution:

In a terminal, type the following commands:

sudo add-apt-repository ppa:ubuntu-audio-dev/alsa-daily
apt update
apt install oem-audio-hda-daily-dkms
Other issues
Linux Mint 15 is based on Ubuntu 13.04. Make sure to read the Ubuntu release notes.

I'm just sharing this