The System76 Galago Pro is a Linux laptop running System76 Open Firmware (based on coreboot+EDK2) from System76