ArchBSD actually uses both the FreeBSD kernel and FreeBSD userland with the pacman package manager and gentoo init system