きしもと@bbs.てれすた です
ソースの流用に関してです。
既に、話題になったことがあったらごめんなさい。
ユタ大で、Mach を使っていたプロジェクトが、Mach に代えて、
新たにマイクロカーネルを開発するに当たって、Linux, FreeBSD, NetBSD
などのコードを流用する枠組みもろごと開発した、という話らしい
です。
The Flux OSKit
ftp://mancos.cs.utah.edu/papers/oskit-sosp16-abs.html
kMakoto