G github.com Hobby kernel and userspace, built mostly from scratch 154 points carlesfe 12 years ago 26 comments