Pagina 1 van 1

hooe breng je een kernel terug?

Geplaatst: 13 sep 2026 09:57
door Luc
Als je in **Linux Mint** een vorige kernel wilt terugzetten, kan dat het eenvoudigst via **GRUB**.

### Via het opstartmenu

1. Start je computer opnieuw op.
2. Houd tijdens het opstarten **Shift** ingedrukt (bij BIOS-systemen) of druk herhaaldelijk op **Esc** (bij UEFI).
3. Het **GRUB-menu** verschijnt.
4. Kies:\
**Advanced options for Linux Mint**
5. Je krijgt een lijst met geïnstalleerde kernels, bijvoorbeeld:
- Linux Mint, with Linux 6.8.x
- Linux Mint, with Linux 6.5.x
- Linux Mint, with Linux 6.5.x (recovery mode)
6. Kies de **oudere kernel** die je wilt gebruiken.
7. Linux Mint start vervolgens met die kernel.

### Als de oudere kernel goed werkt

Je kunt daarna instellen dat die kernel standaard gebruikt wordt. **Verwijder de nieuwe kernel nog niet meteen**; het is verstandig eerst een paar keer te testen of alles stabiel werkt.

Je kunt je huidige kernel bekijken met:

```
uname -r
```

En alle geïnstalleerde kernels bekijken met:

```
dpkg -l | grep linux-image
```
Zeker. De veiligste manier is om de vorige kernel als standaard in **GRUB** te kiezen, terwijl de nieuwe kernel geïnstalleerd blijft als reserve.

## 1\. Bekijk welke kernels je hebt

Open Terminal:

```
dpkg -l | grep linux-image
```

En:

```
uname -r
```

Noteer de versie die je wilt gebruiken, bijvoorbeeld `6.8.0-xx-generic`.

## 2\. Controleer de GRUB-namen

Voer uit:

```
grep -E "submenu|menuentry" /boot/grub/grub.cfg
```

Je ziet dan iets in de trant van:

```
Advanced options for Linux Mint
Linux Mint, with Linux 6.8.0-xx-generic
Linux Mint, with Linux 6.5.0-xx-generic
```

## 3\. Stel de oudere kernel als standaard in

Open:

```
sudo nano /etc/default/grub
```

Zoek:

```
GRUB_DEFAULT=0
```

Verander dit bijvoorbeeld naar:

```
GRUB_DEFAULT="Advanced options for Linux Mint>Linux Mint, with Linux 6.5.0-xx-generic"
```

**Let op:** de exacte kernelversie en benaming moeten overeenkomen met wat bij jou in `grub.cfg` staat.

Daarna:

```
sudo update-grub
```

En herstart:

```
sudo reboot
```

Controleer na het opstarten:

```
uname -r
```

Als daar de gewenste oudere kernel staat, is het gelukt.