32-bit FreeBSD kernel. Hard (not yet possible) to build on a 64-bit FreeBSD system, but hopefully runs OK there.