Martin Roth 1908110839 arch to cpu: Add SPDX license headers to Kconfig files ... Change-Id: I7dd7b0b7c5fdb63fe32915b88e69313e3440b64a Signed-off-by: Martin Roth <gaumless@gmail.com> Reviewed-on: https://review.coreboot.org/c/coreboot/+/80587 Reviewed-by: Felix Singer <service+coreboot-gerrit@felixsinger.de> Tested-by: build bot (Jenkins) <no-reply@coreboot.org>		2024-02-18 01:58:52 +00:00
..
console.c	console.c: Enable gdb support in bootblock	2023-11-07 17:23:32 +00:00
die.c
hw-debug_sink.adb
hw-debug_sink.ads
init.c	Allow to build romstage sources inside the bootblock	2023-11-09 13:20:18 +00:00
Kconfig	arch to cpu: Add SPDX license headers to Kconfig files	2024-02-18 01:58:52 +00:00
Makefile.mk	lib,console,sbom: Rename Makefiles from .inc to .mk	2024-01-24 10:12:57 +00:00
post.c
printk.c
vsprintf.c
vtxprintf.c