Hi all. I am new to coreboot and just built a default coreboot+seabios ROM and ran it on a 64bit minnowboard max. Now I'd like to build a simple hello world payload elf that would simply print a string on rs232.

Can you recommend the best approach to do this? I was looking at using libpayload but read in the README that it creates 32 bit elfs.

Thanks!
Adam