Lines Matching refs:kernel
80 Linux kernel virtual TPM frontend driver. This driver
140 =head2 Compiling the LINUX dom0 kernel:
144 dom0 from accessing the physical TPM by compiling the kernel without a driver or
160 =head2 Compiling the LINUX domU kernel:
162 The domU kernel used by domains with vtpms must include the xen-tpmfront.ko
163 driver. It can be built directly into the kernel or as a module; however, some
164 features such as IMA require the TPM to be built in to the kernel.
284 using a trusted configuration and guest kernel be able to provide guarantees
285 about the guests and any measurements done that kernel (such as the IMA TCB
286 log). Guests wishing to use a custom kernel in such a secure environment are
287 often started using the pv-grub bootloader as the kernel, which then can load
288 the untrusted kernel without needing to parse an untrusted filesystem and kernel
290 extend the hash of the kernel that it boots into PCR #4, and will extend the