/*
 * \brief  Serial output driver for core
 * \author Stefan Kalkowski
 * \date   2012-10-24
 */

/*
 * Copyright (C) 2012-2015 Genode Labs GmbH
 *
 * This file is part of the Genode OS framework, which is distributed
 * under the terms of the GNU General Public License version 2.
 */

#ifndef _CORE__INCLUDE__SPEC__X86_64__SERIAL_H_
#define _CORE__INCLUDE__SPEC__X86_64__SERIAL_H_

/* Genode includes */
#include <bios_data_area.h>
#include <drivers/uart_base.h>

namespace Genode { class Serial; }

/**
 * Serial output driver for core
 */
class Genode::Serial : public X86_uart_base
{
	private:

		enum { CLOCK_UNUSED = 0 };

	public:

		Serial(unsigned baud_rate)
		:
			X86_uart_base(Bios_data_area::singleton()->serial_port(),
			              CLOCK_UNUSED, baud_rate)
		{ }
};

#endif /* _CORE__INCLUDE__SPEC__X86_64__SERIAL_H_ */
