linux kernel for UADK (also known as 'warpdrive') - View it on GitHub