Release Notes for Linux Mint 15
Introduction
This is Linux Mint 15, codename Olivia.
Important links
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:\EFI\linuxmint\grubx64.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.
Important information
Mint4win
When installing Linux Mint with mint4win, choose loop0 for both the target partition and the grub destination.
Local repository and GnomePPP
GnomePPP is not installed by default but it is present within the default installation of Linux Mint. Your Linux Mint system comes with a local repository which is disabled by default. You can enable it by using the "Software Sources" tool from the menu. This repository contains GnomePPP as well as a collection of drivers.