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:
| Matrix channel | #peppermintos:matrix.org |
| Community Forums | https://sourceforge.net/p/peppermintos/pepos/ |
Will this work on a raspberry Pi 4B?
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.
Hello,
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.
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!
*while this was tested
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?
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,
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
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.
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.
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.
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!
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.
Hello John
Did you get round to doing a write-up on how to get PMOS working on the Pi?
Thanks :-)