A Minix port could be interesting as well. The kernel seems to be pretty small.

Reply via email to