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 | ||