There is another Xinu project on GitHub called "Embedded Xinu". I have not worked with this and am unsure of what hardware it runs on. As I understand this, this project is being done by one of professor Coner's former students.
There are a pair of Xinu books:
Book 1 emphasizes the operating system and book 2 emphasizes networking. If you are a cheapskate like me, you buy the original edition (which discusses code that runs (or ran) on the PDP-11). This is not as bad as it sounds as the bulk of the code is portable C and with the current sources for the BBB, you are in great shape. Besides that, the PDP-11 is simple enough and entertaining to learn the details of. You could get carried away and find a PDP-11 emulator somewhere. Then with in-depth knowledge of the PDP-11, you would be in great shape to tackle the classic "Lions Commentary" on Edition 6 Unix.Subsequent versions of Xinu ran on the MIPS processor (on certain linksys routers). At any event, the Xinu code is simple and written to be extremely clear, ideal to learn operating systems, and entirely adequate for embedded systems as well.
Tom's Computer Info / tom@mmto.org