Since it isn't linked anywhere on the site, in case somebody is looking for it, the code is here: https://github.com/WukLab/LegoOS