Trusted Linux https://rio.st/2005/10/11/trusted-linux/