Given that they took down their site... in case anyone is interested in the actual project (and not the trademark issues with the name) -- here are some links:

Given that they took down their site... in case anyone is interested in the actual project (and not the trademark issues with the name) -- here are some links: https://www.usenix.org/conference/osdi18/presentation/shan https://www.usenix.org/conference/osdi18/presentation/shan https://github.com/Wuklab/LegoOS https://github.com/Wuklab/LegoOS