CORE FreeBSD kernel enables lightweight virtual machines