you can try Darwin. It's kernel based on *BSD and Mach3 code. If you want to use UNIX-like system, Darwin will be a choice you can choose.