[tboot-devel] [PATCH] fix some build issues


Thread view