coreboot-kgpe-d16/src/console/logbuf_console.c

#include <console/console.h>

#define LOGBUF_SIZE  1024

// KEEP THIS GLOBAL. 
// I need the address so I can watch it with the ARIUM hardware. RGM.
char logbuf[LOGBUF_SIZE];
int logbuf_offset = 0;

static void logbuf_tx_byte(unsigned char byte)
{
	logbuf[logbuf_offset] = byte;
	logbuf_offset = (logbuf_offset +1) % LOGBUF_SIZE;
}

static const struct console_driver __console = {
	.init    = 0,
	.tx_byte = logbuf_tx_byte,
	.rx_byte = 0,
	.tst_byte = 0,
};}