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 an older release (at the time 18.05) but should also work without issues on newer versions. Most ARM-based system were tested with an even older release (at the time 16.11). By now Genode focuses mostly on i.MX (6/7/8) based systems, where it does run reasonably well. That being said, please pay attention to the notes column as it may contain further information.

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
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
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
XMG Core 15 ¹ N/A N/A boot_fb N/T N/A N/T unstable rtl8168 NIC, intel_fb + touchpad do not work
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 AMD AHCI not working, BCM5720 NIC unstable
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 spport for i354 NIC, issue with seoul

¹) 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 some of the drivers included in 20.02.

Driver Repository Devices Notes
ahci os generic x86 HBA has issues with AMD AHCI controllers
audio dde_bsd (OpenBSD 6.6) Intel HDA (azalia), AC97 ICH, EAP 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 2020-03-10