openbsd*) os='OpenBSD';;
nsk*) os='NonStop Kernel';;
nonstopux*) os='NonStop-UX';;
- netbsd*-gnu*) os='GNU/NetBSD';;
+ netbsd*-gnu*) os='GNU/NetBSD';; # NetBSD kernel+libc, GNU userland
netbsd*) os='NetBSD';;
+ knetbsd*-gnu) os='GNU/KNetBSD';; # NetBSD kernel, GNU libc+userland
+ kfreebsd*-gnu) os='GNU/KFreeBSD';; # FreeBSD kernel, GNU libc+userland
msdosdjgpp*) os='DJGPP';;
mpeix*) os='MPE/iX';;
mint*) os='MiNT';;
hpux*) os='HP-UX';;
hiux*) os='HI-UX';;
gnu*) os='GNU';;
- freebsd*-gnu*) os='GNU/FreeBSD';;
freebsd*) os='FreeBSD';;
dgux*) os='DG/UX';;
bsdi*) os='BSD/OS';;