Hi, I was reading about MirOS and mksh, and found that there's a working port for it here: http://www.mirbsd.org/MirOS/dist/mir/mksh/ports/mksh-obsdport.tgz
See: http://mirbsd.org/mksh.htm (Inclusion in other operating systems). I thought that sharing it would make it a candidate for commit. Please note that I didn't do the port. Greetings.