GitHub repository: krishjainx/popcorn-pi
Description: kernel build and patches for popcorn to work on pi. credit for original patch goes to Virginia Tech Uni