4e7e987b24
These were copied from the linux kernel, so get the standard corboot GPL v2 header. Change-Id: I27ef3326cc42b7e005f94c8b4fd355012a89561d Signed-off-by: Damien Roth <yves.r.roth@gmail.com> Reviewed-on: https://review.coreboot.org/13023 Tested-by: build bot (Jenkins) Reviewed-by: Stefan Reinauer <stefan.reinauer@coreboot.org> |
||
|---|---|---|
| .. | ||
| Kconfig | ||
| Makefile.inc | ||
| console.c | ||
| die.c | ||
| early_print.c | ||
| init.c | ||
| post.c | ||
| printk.c | ||
| vsprintf.c | ||
| vtxprintf.c | ||