The original Minix3 source history from the book to v3.1.5; preparations for integration with Fiasco kernel - View it on GitHub