Unofficial Genode HCL
Regardless of the information on this page, if you are interested in Genode/SculptOS just give it a try on your hardware and feel free to share your findings. The community forum (in particular the hardware category) or the mailing-list can serve as first contact point.
In the past this page denoted known x86_64 systems on which Genode/SculptOS was tested. Instead of presenting an (out-dated) list of systems, below you will find a table containing the available drivers in vanilla SculptOS as of 26.04.2. By now Genode/Sculpt OS normally works nicely on a variety machines but due to the focus on Intel-based systems such machines are better supported than AMD-based ones.
List of drivers ^
The list contains the drivers included in 26.04.2.
| Driver | Repository | Devices | Notes |
|---|---|---|---|
| ahci | os | generic x86 HBA | known issues with older AMD AHCI controllers, newer ones (Ryzen) tend to work. |
| bsd_audio | dde_bsd (OpenBSD ~7.6) | Intel HDA (azalia) | only PCH - no HDMI and DMIC support |
| boot_fb | os | linear CoreBoot/UEFI framebuffer | only supports primary firmware display |
| gpu_intel | os | Intel HD Graphics render engine multiplexer | supports Gen8 (Broadwell) to Gen12 (Alder Lake) |
| intel_fb | pc_linux (6.18.19) | supports Gen5 (Ironlake) up to Xe (Arrow Lake) KMS | does support dynamic configuration of external displays |
| nvme | os | generic PCIe NVMe storage devices driver | limited to consumer-grade features, e.g. one namespace only |
| pc_nic | pc_linux (6.18.19) | Intel E1000(E), Realtek R8169 and PCNet32 | |
| pc_usb_host | pc_linux (6.18.19) | UHCI/OHCI, EHCI and xHCI | |
| ps2 | os | x86 (i8042) controller | |
| pc_rtc | os | x86 RTC/CMOS | |
| usb_block | os | USB MSC bulk-only driver (flash drives) | |
| usb_hid | virt_linux (6.18.19) | USB HID driver | |
| usb_net | virt_linux (6.18.19) | USB Network driver | |
| vesa | libports | legacy VBE2.0 framebuffer | does not support dynamic configuration of external displays |
| pc_wifi | pc_linux (6.18.19) | includes ath9k, iwlwifi and rtlwifi | Only firmware images for tested HW is included, pay attention to the LOG |
Last modified on 2026-08-03 (the previous version is found here)