Getting Tuxedo laptop fans to work on BSD

This question pertains to Tuxedo laptops (and possibly Clevo, Uniwill, or Tongfang laptops, which Tuxedo systems appear to be based on). Tuxedo provides official support for Windows and Linux, but I'm particularly interested in BSD. For reference, my specific laptop model is the Tuxedo Gemini 15 Gen 2. The issue I'm experiencing is that the fans are controlled by the embedded controller (EC), which by default does not spin the fans adequately. Updating the EC firmware hasn't resolved the problem. As a result, the laptop runs hot, and I'm concerned that prolonged operation under these conditions may degrade the hardware. - The EC does not have pre-programmed fan profiles that the software selects. - The driver writes a desired fan speed directly as an 8-bit integer (255 being full speed and 0 being off). - On Linux, a daemon communicates with the driver via IOCTL, and the driver communicates with the EC through ACPI. What options are available to enable proper fan control on BSD operating systems (specifically OpenBSD or FreeBSD) without having to write my own driver?