Peppermint OS (ARM-Debian) Release

The Peppermint team would like to announce that we have released our Debian(bookworm) base ARM spin. You can download the new files from here.

A few important notes:

  • This ARM release is for the Debian base ONLY (The Devuan base will be released later this year)
  • This release contains all the features that are in the main desktop line
  • This ARM release does allow you to live-boot, login, and install the system
  • This release is UEFI ONLY, as Debian does not compile legacy boot for arm64
  • Those who would like to try this on a Raspberry Pi 4 or 400 should use the UEFI image from this repository here

Connect to us with any questions or support:

Community Forums

This Post Has 14 Comments

  1. sdgengineer

    Will this work on a raspberry Pi 4B?

    1. John Faulk

      Hello! Pep arm64 dev here,

      You see the link for that UEFI firmware in the post? You will need to install that firmware to the SD card first, and then boot the ISO over USB. that firmware gives the Pi 4B a UEFI bios that Peppermint can boot from. We know this works because this is exactly how I was able to test the ISO during development.

  2. PMOSUser


    Installed arm64 version on RPI4. WiFi is not enabled and I could not find a way to enable it after adding the WiFi connection in Network Manager.

    1. John Faulk

      Hello There,
      Please bear in mind that this was tested on a Pi, this was not designed exclusively for the Pi, and you may find Pi-specific issues as you move along. We cannot ship kernels for every board, as such is impractical. But what I will suggest is trying to use the Raspberry Pi kernel package from the Raspberry Pi repositories, and see if this resolves your issue. The ISO does ship the firmware for this card, so that brings it down to a driver issue. Hope this helps!

      1. John Faulk

        *while this was tested

  3. sr

    Hello, I have peppermint OS 6 or 7 installed, I downloaded peppermint 12, will my data on HD, be safe if i install 12 over 6-7 version?

    1. grafiksinc

      Before you install any OS on top of your currently HDD you should always backup that data.
      Because when you do a new install it will over write the entire disk,

  4. David V Duccini

    Can you combine the UEFI boot with an install on the same SD card? Seems clunky to have to boot from USB first before getting onto SD

    1. John Faulk (PepOS Arm Dev)

      Hi David,

      Its absolutely possible, yes. But you will likely have to partiton it manually, and be extremely careful not to wipe the UEFI BIOS partition, or else it will render your installatin inoperable.

      1. David V Duccini

        Thanks John — I have had some initial success with manually partitioning off a 300mib FAT32 for /boof/efi and then installing Pep on the rest of the SD to /, but I still need to boot from a USB stick with the above referenced UEFI image. Do you know if I can simply copy over the working UEFI code from the USB onto the /boot/efi partition that is getting created by the Installer?

        ALSO, just a quick note : If you run UPDATE the system will not reboot — it gets a kernel panic and dies.

  5. SleepyD

    Is there anyway we could a full tutorial in the forums on how get PMOS working on the Pi? I’ve had a Pi for a few years now. I am experienced with Linux for a number of years now but I am probably a more basic users. Cool that y’all have put this together.

    1. John Faulk (Arm64 Dev)

      Hey SleepyD! I didnt think there was this much interest in the arm64. You can count on a write-up on the subject in the near future!

      1. SleepyD

        Thanks, I can’t wait to see how well it runs on the Pi. Thanks for all the hard work. Peppermint OS is still one of my faves.

Leave a Reply