Hi, A naive question and may not be completely related to NetBSD. Why is the programming interface on the kernel side and user side different (double-std interface) in NetBSD and other like OSes? For ex: programming API for mutex in the kernel side and user side is completely different. Regards