Hi, I just learned of this project and began reading through the documentation. The first paragraph in Intro.md suggests two resources for learning about real-time operating systems but the first link leads to a 404 page.
EDIT: Perhaps this is the page that the link was intended to point to?
