search

jermar / microkernel.info

Community site for microkernel projects.
23 stars 12 forks source link

Consider adding MH #15

Open glguida opened 6 years ago

glguida commented 6 years ago

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 commented 6 years ago

Would you care to create a PR that adds MH?

glguida commented 6 years ago

Definitely, yes.