Hi i have used avlinux 64 on my hp elite 8200. It's easy distro gnu linux based on system debian stretch 9.5 specialized and optimized for audio,video grapfhic production similar at other distro ( ubuntu studio,kx studio). On avlinuxl4 you have pre installed a version of reaper development. It work perfect. On this site you can download version 32 or 64 bit of avlinux -
http://www.bandshed.net/avlinux/
gennaro