I don't have the link anymore. Doesn't matter. Despite NetBSD's portability and good design, it was simply too complicated and connected to C style for them to pull off the re-write. Oberon, on the other hand, has the whole OS written in a type-safe language with good modularity and is a lot simpler. Should be a much easier re-write.