Linux port from BSD libkvm