{"shas":[["ab7357bafbae26b16ceba202d0513cee2b0d475e","87cf5bebafee849dbd7c2ce24805ebf70121c565@rpi.edu","separation: Try finding kernel in currend directory first","Matt Arsenault"]],"ref":"refs/heads/master","push_id":20727804,"head":"ab7357bafbae26b16ceba202d0513cee2b0d475e","size":1}