Setup

After cloning, setup with cd kernel; sudo chmod +x get-deps; ./get-deps; cd ../ then make run-bios to run