I think the following two patches would be useful to apply to the seabios tcg code.
Stefan, I don't want to conflict with the patches you are working on, so I don't plan to commit these. However, take a look through them and let me know if they make sense.
-Kevin
Kevin O'Connor (2): tcg: Move standard definitions from tcgbios.h to new file std/tcg.h tcg: Use seabios setup()/prepboot() calling convention for tcg
src/hw/tpm_drivers.c | 2 +- src/post.c | 12 +- src/std/tcg.h | 346 ++++++++++++++++++++++++++++++++++++++++++++++++++ src/tcgbios.c | 35 +++--- src/tcgbios.h | 347 +-------------------------------------------------- 5 files changed, 371 insertions(+), 371 deletions(-) create mode 100644 src/std/tcg.h