/* SPDX-License-Identifier: GPL-2.0+ */
/*
* (CompanyNameMagicTag) Copyright 2000-2009
* Wolfgang Denk, DENX Software Engineering, wd@denx.de.
*/
#ifndef __CONSOLE_H
#define __CONSOLE_H
extern char console_buffer[];
#endif