I'm currently having issues working with NVIDIA drivers on my laptop running linux, and one of the kernel modules I needed was bbswitch but it seems as if the project hasn't been updated in several years. The code looks simple enough, so I'm attempting to write my own kernel module.
It seems like I need to understand how ACPI works if I want to do this. My first question is how do I print out the ACPI table? Also, I was wondering if there were any documentation on the linux/acpi.h library.