@ProfessorCode
Yes,, with #coreboot (which now works after fixing some issues with standby with their help).

Unfortunately, the USB-C port failed after about one year, still not sure about the exact reason.
@starlabssystems