Hello,

I'm currently working on a coreboot[1] port for this laptop. It currently works for the most part,
with some ACPI code remaining to be dealt with to handle certain special functions such as
wireless hotkeys and accelerometer sensors. For now, I can copy code from the vendor's bios,
but in general that's a pretty ugly, hacky mess, and I'd like to avoid using it if possible.

To finish up the port it would be of great use to have a proper datasheet for the laptop's EC,
which is an ENE KB3940Q A1, which I have had no luck locating online anywhere.

Thank you for any assistance in this matter.

1. https://review.coreboot.org/c/coreboot/+/23352