About a year ago, I wanted to work around BIOS limitations by writing patched ACPI tables, like what was done for a long time for Hackintoshes. So I documented

About a year ago, I wanted to work around BIOS limitations by writing patched ACPI tables, like what was done for a long time for Hackintoshes. So I documented in more detail my finding for the 9250/7275 on https://www.reddit.com/r/Dell/comments/kolf5f/patching_the_dsdt_table_to_enable_s3_suspend_on/ https://www.reddit.com/r/Dell/comments/kolf5f/patching_the_d... I got in touch with a few other people, but nobody seemed very interested, so I gave up and got myself a Thinkpad instead. If you want to work on that, on a BIOS advertising S3 support, IIRC all you need to do is keep the EC powered so it can proceed the GPE from the power power button. On S01x it's powered off to avoid spurious wakeups. Get the schematics, disassemble the BIOS, and you'll the logic would be about as complicated as: if (S01x) { EC_poweroff; } else { EC_powered; EC_monitor_GPE_something; }