Hobby kernel + userspace, built mostly from scratch. - View it on GitHub