Release Notes for Linux Mint 15

Introduction

This is Linux Mint 15, codename Olivia.

Important links

• What's new in Linux Mint 15
• Download mirrors
• User guide
• Release announcement

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.