Recently, I\'ve been working to get ACPI fully working on my x86 educational Linux-compatible kernel called Tilck. In order to that, I\'ve integrated the la
