Hacker News Reader

Also worth checking out Drew DeVault's Helios Microkernel, which is based on SeL4.

I think there's a meaningful difference between "based on" and "inspired by", Helios being the latter.