@mia That proprietary kernel is not of relevance, as it does not directly provide fork(), kill() or vfork() - glibc provides those functions (a program can be compiled against glibc to work just fine on GNU/Linux or GNU/Hurd or GNU/k"Free"BSD).