читаем статью
http://runetbsd.ru/content/view/50/32/
внимательно.я вообще-то не слышал чтоб бесплатные оси,хоть одна, были официально сертифицированы POSIX, потому как это не дешево, и тем не менее все кричат что они POSIX - это как, по вашему, понимать? так же и здесь, делать делали, но неофициально, теперь можно без оглядки лепить модули под туеву хонну интерфейсов и проч. радостей. раньше лепили - но боялись и по сему лепили меньше.
ИМХО ситуация выглядит именно так. возможно к большинству документов у них действительно небыло доступа, а набор спецификаций, которые и составляют POSIX в интернете найти - не проблема.