Hello I have a MSI GE70 012US laptop computer and I am trying to compile a working dsdt.aml file. My current configuration gets me 69 errors. My systems work very well including accelerated graphics with my 4600 intel graphics card. But my hdmi, camera, Audio ports on the motherboard, wifi and I think my power management does not work optimally. I believe I need a to compile the correct dsdt file. I was wonder is the mach_kernel included in the distro made for haswell motherboards? If not can you compile a haswell mach_kernel and if can get my dsdt working. I will make a donation that will help you reach you goal for this month. Thank you for reading my post.