Unofficial Genode HCL

This page contains an unofficial Genode Hardware Compatibility List. It focuses mainly but not exclusively on systems that will be used to run Genode as an general purpose OS and for the time being are Intel x86 based. Most x86-based system were tested with release 18.05 and should work without issues. Most ARM-based system were tested with release 16.11 (however, no noticeable problems occur in the regular nightly tests). That being said, please pay attention to the notes column as it may contain further information.

Current recommendation for running Genode: Thinkpad X250

There is a selection of systems that are known to work well and are tested or used on a regular basis. In addition, there is also a device driver list for devices commonly found in x86 based systems.

If you have tested a system that is not yet on this list, please drop me a note at josef.soentgen@genode-labs.com and describe what works and what does not (if possible, please provide the output of lshw -sanitize -numeric, which is a tool for extracting HW information available in Linux distributions).

List of systems ^

If a feature is supported the column contains or the name of a specific driver. In case the system does not have the feature the column contains N/A or N/U if the feature is not usable. In addition, features that were not tested are marked with N/T.

System HVM IOMMU TZ Serial GPU Audio WLAN LAN AHCI USB GPIO SDHC Notes
Arndale Board
(Exynos 5250)
RS232 N/A
LIFEBOOK S936 ¹ N/A AMT¹ intel_fb N/A
LIFEBOOK S937 ¹ N/A AMT¹ intel_fb N/A
ODROID-XU N/A N/A N/U RS232³ N/A N/A
Panda Board
(rev. A)
N/A N/A N/U RS232 N/A N/A
Quick Start Board
(i.MX53)
N/A N/A RS232³ N/A only the internal display connector is supported
Raspberry Pi
(Model B)
N/A N/A N/A RS232³ N/A N/A
Sabre Lite Tablet
(i.MX53)
N/A N/A RS232³ N/A N/A only the internal display connector is supported
Shuttle DS57U
(Celeron 3205U)
N/A RS232 infel_fb N/A no support for RTL8188EE wireless
Thinkpad T420 ¹ N/A AMT¹ / RS232² infel_fb N/A
Thinkpad T430(s) ¹ N/A AMT¹ / RS232² infel_fb N/A ext. displays only via VGA if Nvidia GPU is present
Thinkpad T460p ¹ N/A AMT¹ intel_fb N/A used by developers
Thinkpad T470p ¹ N/A AMT¹ intel_fb N/T N/A use 18.08 for intel_fb support
Thinkpad X201 ¹ N/A AMT¹ / RS232² infel_fb N/A intel_fb uses polling for external displays
Thinkpad X220(i) ¹ N/A AMT¹ / RS232² infel_fb N/A problems with VT-d when using CoreBoot
Thinkpad X250 ¹ N/A AMT¹ infel_fb N/A used by developers
Thinkpad X260 ¹ N/A AMT¹ infel_fb N/A used by developers
Wandboard (Quad) N/A N/A RS232
USB Armory N/A N/A RS232³ N/A N/A N/A N/A N/A N/A
XPS 9350 ¹ N/A N/T infel_fb N/A N/A N/T
XPS 9370 ¹ N/A N/T infel_fb N/U N/A N/A N/T
System HVM IOMMU TZ Serial GPU Audio WLAN LAN AHCI USB GPIO SDHC Notes
ASRock Z68 Pro3-M
(i5-2400)
N/A RS232³ infel_fb N/A N/A N/A
ASRock Z97 Extreme4
(i5-5675C)
N/A RS232³ infel_fb N/A N/A N/A HDA (ALC1150) driver issues (playback noise)
ASUS CS-B
(i7-4770)
N/A RS232³ infel_fb N/A N/A N/A
Gigabyte GA-B75M-D3H
(i3-3225)
N/A N/A RS232³ infel_fb N/A N/A N/A
HPE Microserver Gen10
(Opteron x3216)
N/T N/A RS232 boot_fb N/A N/A N/A only the Marvell 88SE9230 AHCI works
some issues with the BCM5720 NICs
audio only via HDMI (not supported)
Intel DN2800MT
(Atom N2800)
N/A N/A N/A RS232³ N/A N/A N/A vesa driver seems not to work with GMA 3650
Supermicro A1SRM-2558F
(Atom C2558)
N/A N/A RS232³ vesa_fb N/A N/A N/A N/A no i354 support in iPXE yet, seoul (VMM) does not work properly

¹) VT-d/AMT (vPro) support depends on the configured CPU (check ark.intel.com)   ²) via RS232 ExpressCard   ³) onboard serial port header/JTAG   ) PCIe serial adapter  

List of drivers ^

The list contains the drivers included in 18.08.

Driver Repository Devices Notes
ahci os generic x86 and Exynos 5250 HBA has issues with AMD AHCI
audio dde_bsd (OpenBSD 5.9) Intel HDA (azalia) cards only PCH (no HDMI), supports playback as well as recording
boot_fb os driver for linear firmware (CoreBoot/UEFI) framebuffer only supports internal displays with native resolution
gpu_intel os Intel HD Graphics render engine multiplexer works only on Gen8 (Broadwell)
intel_fb dde_linux (4.16.3) Intel GPUs Gen5 (Ironlake) - Gen10 (Kabylake) KMS does support dynamic configuration of external displays
nic dde_ipxe (2013-05-16) Intel, Realtek and BCM (TG3) NICs (see iPXE contrib source)
nvme os generic PCIe NVMe storage devices driver only supports consumer-grade features
ps2 os x86 (i8042) controller
usb dde_linux (4.4.3) UHCI/EHCI/xHCI HC, HID, NIC (smsc95xx, ax8817x), storage … there is a bunch of new USB drivers (host/input/net) based on 4.16.3
usb_block os USB mass-storage bulk-only driver (mainly flash drives, few disc drives)
vesa libports KMS for most GPUs supporting VBE2.0 does not support dynamic configuration of external displays
wifi dde_linux (4.16.3) all devices supported by iwlwifi - primarly tested on 7xxx and 8xxx cards, older (6xxx) should and newer (9xxx) generations might work

Last modified on 2018-11-19