Popcorn Linux kernel for distributed thread execution - View it on GitHub