Beckhoff BIOS API Linux Kernel Driver - View it on GitHub