Consider adding MH

[glguida]

MH (http://mhsys.org) while smaller in scale than other OSes listed, is an active microkernel project.

Please consider adding it to the list.

[jermar]

Would you care to create a PR that adds MH?

[glguida]

Definitely, yes.