Choosing and Downloading a Disk Image

Naturally the first thing you’ll need to do in order to get up and running is to download the image.
We distribute these images as .iso files, which are commonly referred to as “disk images.”
You have a few choices to download an .iso one is SourceForge and the mirror would be at OSSPlanet

The most significant difference between Debian and Devuan is the init system:

  • Debian uses systemd as its default init system
  • Devuan was created specifically to avoid systemd, offering alternatives like SysV init, OpenRC, and runit

Peppermint OS Flagship
Our flagship Peppermint OS keeps things simple with a XFCE desktop. You choose the packages to install i.e. only the software you prefer, keeping your system clean and efficient. This is available in 64-bit builds.

Debian Base(trixie)Devuan Base(excalibur)
64-bitSourceForgesha512 checksum
mirror ossplanetsha512 checksum
SourceForgesha512Checksumgpg.sig

How to verify the files.

  1. For the check sum sha512sum -c peppermint_devuan-amd64.iso.sha512
  2. For the signature
    • Import the public key: gpg --import peppermintos_public.key
    • Verify : gpg –verify peppermint_devuan-amd64.iso.sig peppermint_devuan-amd64.iso
  3. The public key can be found here