Не подкинете список открытых Unix-подобных ОС, пригодных для изучения? (Не слишком больших по объему кода). Кстати - sortix.org, вроде не так уж и много народа ее пилит, а уже есть некоторые вкусные фишки, например 64 бита умеет, в отличии от того же миникса.