This is an interesting post but the author seems to have a bit of ignorance/bias to the bsd libc that led them down a particular path. It's not difficult to pull the libc out of src, start with a minimal make copypasta, and keep iterating adding in just enough support until you eventually make it through a compile and link, then work out the few remaining port differences. IMHO this would lead to better long term outcomes for the indented platform but both approaches offer interesting learning opportunity.