Lenovo X13S
Standard support
* More about support definitions, criteria and relationships

To get started, burn the image to a USB stick using BalenaEtcher. Install all firmware updates in Windows and the Lenovo utility.

In Lenovo x13s’s BIOS config, disable Secure Boot (this will create problems with Windows Bitlocker, unless you disable that first.)

Insert USB and press F12 during boot to select it.  Be patient during first boot during filesystem resize; it might take multiple minutes depending on the disk.

It is recommended to create Lenovo’s Windows USB recovery disk before wiping your Windows install. You might require it to deploy firmware updates. Windows ARM64 on this machine is Lenovo-specific and the generic Win ARM64 images won’t work.

For now, only Ubuntu Lunar (via Concept x13s PPA) has the userspace required for working audio and battery charging support, and a patched mesa for accelerated graphics.

Debian Trixie/Sid and Ubuntu Mantic have a more recent mesa that does not need patching, but no working battery charge nor audio.

Stable releases

User space Interface URL Torrent Kernel Integrity Size Release date
Armbian Noble Gnome 6.9.0-rc7 SHA    ASC 1.5GB May 25, 2024
Armbian Trixie Gnome 6.9.0-rc7 SHA    ASC 1.6GB May 24, 2024
* Looking for different or custom variant? Use Armbian build framework!
* Most of images are tested with test automation or by Armbian community or official maintainers.
Mainline based kernels are never feature complete. Become a Gold partner and sponsor development of feature you need.


Snapdragon 8cx Gen 3

* Specifications differ from hardware revision, model and software support level


  • check previous images from archive
  • join community forums


BASH or ZSH shell, standard Debian/Ubuntu utilities. Features can be adjusted with menu-driven utility. Login is possible via serial, HDMI or SSH.


Minimal, server or Desktop. We work with XFCE, Gnome and Cinnamon but more is possible to build: Mate, KDE, Budgie, Deepin, i3, …


No bloatware or spyware. Special utilities are completely optional. Suitable for newcomers and professionals.


Distributed images are optimized for flash media (SD/eMMC/SSD) and compacted to real data size.


Armbian is optimized on kernel and userspace level. ZRAM & ZSWAP support, browser profile memory caching, garbage commit delay.


Security level can be adjusted with the armbian-config. OS is reviewed by professionals within the community.


Maintainers and community have deep understanding how HW work. We are seniors with 30+ years of experience in Linux + embedded Linux.


Armbian provides open source build framework to build a distribution of optimised Linux hardware interface for armhf, aarch64 and x86.

We provide a selection of images that fits hardware best. If you need different image – use build framework and make whatever you need. Build framework relies on Debian and Ubuntu packages – you can build any combination – stable, old stable or rolling release.

Minimal images comes only with essentials and without armbian-config, armbian-zsh, build-essentials, Python, DKMS, …

Make sure you have a good & reliable boot media (SD card / USB key) and a proper power supply. Archives can be flashed with Etcher (all OS) directly.

Insert the SD card into the slot, connect a cable to your network if possible or a display and power your board. (First) boot (with DHCP) takes a bit longer.

Support is provided in one of two ways:

Daily / Rolling releases from CI pipeline

 User spaceKernelURLTorrentIntegritySizeRelease date
Armbian Noble Gnome rolling 6.9.0-rc7 SHA  ASC 1.5GBJun 11, 2024

Rolling releases are suitable for Linux enthusiasts who want cutting edge packages and have the skills to fix damage that a bad update might cause. If you want stability in a production environment or low headaches as a novice user, skip rolling releases. They are only at, build and ship, Debian testing / Arch / Manjaro / Suse Tumbleweed / Kali / Gentoo support quality level!