DEPRECATED REPOSITORY
The project has been moved to https://github.com/sysml/mini-os please use this url instead.
If you have already cloned the project all you need to do is to run this command:
git remote set-url origin https://github.com/sysml/mini-os.git