But that's something the user is doing. This repo has the Linux distro, which is by itself neither a circumvention, gives instructions to circumvent, or performs a circumvention of the DRM to run, thereby passing DMCA muster.
It's somewhat similar to the situation XBMC was in back when the X still stood for Xbox -- the code itself is OK by the DMCA, but compiling it required use of unauthorized dev tools (if the user didn't have a license from MS, which they likely did not), distributing the binaries was a violation of the DMCA (due to statically linked, non-free MS libraries), and installation of said binaries was also a DMCA violation (as it required the user to circumvent the DRM on the console).
It's somewhat similar to the situation XBMC was in back when the X still stood for Xbox -- the code itself is OK by the DMCA, but compiling it required use of unauthorized dev tools (if the user didn't have a license from MS, which they likely did not), distributing the binaries was a violation of the DMCA (due to statically linked, non-free MS libraries), and installation of said binaries was also a DMCA violation (as it required the user to circumvent the DRM on the console).