Report this

What is the reason for this report?

Debian 9 kernel?

Posted on June 20, 2017

I’ve updated my Debian 8 droplet to Debian 9, and it seems to work fine. However, there is no Debian 9 kernel in the list of available kernels for my droplet. Is that normal? My current kernel is “Debian 8.0 x64 vmlinuz-3.16.0-4-amd64 (3.16.7-ckt9-3~deb8u1)”.



This textbox defaults to using Markdown to format your answer.

You can type !ref in this text area to quickly search our full set of tutorials, documentation & marketplace offerings and insert the link!

These answers are provided by our Community. If you find them useful, show some love by clicking the heart. If you run into issues leave a comment, or add your own answer to help others.

You can use your own kernel (e.g.: the default Debian 9 installed on dist-upgrade). Just follow this guide: https://www.digitalocean.com/community/tutorials/how-to-update-a-digitalocean-server-s-kernel

The developer cloud

Scale up as you grow — whether you're running one virtual machine or ten thousand.

Get started for free

Sign up and get $200 in credit for your first 60 days with DigitalOcean.*

*This promotional offer applies to new accounts only.