On Mon, 1 Jun 2020, Timo Lindfors wrote:
printk(TBOOT_INFO"start=%p tag_type=%d start->type=%d start->size=%d\n",
start,
tag_type,
start->type,
start->size);
On warm boot this prints just
TBOOT: start=0x0x10008 tag_type=17 start->type=3031684 start->size=-2147418113
TBOOT: start=0x0x80020008 tag_type=17 start->type=0 start->size=0
-Timo
_______________________________________________
tboot-devel mailing list
tboot-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/tboot-devel
