Just read through the readme, seems right now Xen is required ... Any one tried to use tboot with Linux Kernel only scenario?

Thanks!