Unofficial Genode HCL
NOTE: this page is outdated and by now Genode or rather Sculpt OS normally works nicely on a variety of Intel x86_64 machines.
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 2024-04-26