5e5c1daae9
Useful to see which architecture x86_32 or x86_64 coreboot was built for. Change-Id: I34eec64ac32254c270dcbb97e20a7e6be0f478fc Signed-off-by: Patrick Rudolph <patrick.rudolph@9elements.com> Reviewed-on: https://review.coreboot.org/c/coreboot/+/59761 Tested-by: build bot (Jenkins) <no-reply@coreboot.org> Reviewed-by: Jakub Czapiga <jacz@semihalf.com> |
||
---|---|---|
.. | ||
console.c | ||
die.c | ||
hw-debug_sink.adb | ||
hw-debug_sink.ads | ||
init.c | ||
Kconfig | ||
Makefile.inc | ||
post.c | ||
printk.c | ||
vsprintf.c | ||
vtxprintf.c |