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