AOSC Wiki / AOSC OS / AOSC OS Device Portal /
Also available in: 简体中文

AOSC OS Device Portal

Here you can find some information about a specific device, including installation instructions, FAQs and troubleshootiong guides.

ARM64 Devices

For ARM64 devices which has UEFI firmware (such devices usually complies with SBSA standard), you can use ARM64 LiveKit to boot your device and install AOSC OS on it. For instructions using LiveKit, please checkout LiveKit instructions.

Table of Devices

Here is a list of devices supported by our community members. You can either checkout the vendor page or a specific hardware page.

Device NameVendorPlatformDevice TypeMaintenance StatusImage Download
Raspberry Pi 4BRaspberry Pi FoundationBroadcom BCM2711Single Board Computer)Maintained by community membersNot available
Mac Mini Late 2020 (Macmini9,1)AppleApple M1Mini DesktopMaintained by community membersNot available
Pinebook ProPine64Rockchip RK3399LaptopMaintained by community membersDownload Page
Rock64Pine64Rockchip RK3399Single Board Computer)Maintained by community membersDownload Page