Join GitHub today
GitHub is home to over 36 million developers working together to host and review code, manage projects, and build software together.Sign up
port to new grant interface provided by mirage-xen #79
talex5 left a comment
Mostly looks good, but not sure about the disconnect logic (seems different to what mini-os does).
Travis is failing with:
(I also added some minor comments about opportunities to improve the style of the existing code while updating it; feel free to ignore them)