FreeBSD

From SprezzOSWiki

SprezzOS will make the FreeBSD kernel available beginning with SprezzOS 1 (planned).