いまどきマイクロカーネルもアレという気もするが。
Mach, Hurd, MkLinux くらい？

お金ないなら図書館とか古本とかあるでしょ。
ttp://www.bookcyber.net/basket/detail.cgi?key=4563013331
↑こんなのとか。