/*
 * \brief  Manager of all VM requested console functionality
 * \author Markus Partheymueller
 * \date   2012-07-31
 */

/*
 * Copyright (C) 2012 Intel Corporation
 * Copyright (C) 2013 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.
 *
 * The code is partially based on the Vancouver VMM, which is distributed
 * under the terms of the GNU General Public License version 2.
 *
 * Modifications by Intel Corporation are contributed under the terms and
 * conditions of the GNU General Public License version 2.
 */

#ifndef _CONSOLE_H_
#define _CONSOLE_H_

/* Genode includes */
#include <util/string.h>
#include <base/sleep.h>
#include <framebuffer_session/connection.h>
#include <input_session/connection.h>
#include <timer_session/connection.h>
#include <dataspace/client.h>

/* NOVA userland includes */
#include <nul/motherboard.h>

/* includes for I/O */
#include <base/env.h>
#include <util/list.h>
#include <nitpicker_session/connection.h>
#include <nitpicker_view/client.h>
#include <input/event.h>

using Genode::List;
using Genode::Thread;

class Vancouver_console : public Thread<8192>, public StaticReceiver<Vancouver_console>
{
	private:

		Genode::Lock                 _startup_lock;
		Motherboard                 &_mb;
		short	                    *_pixels;
		char 	                    *_guest_fb;
		unsigned long                _fb_size;
		Genode::Dataspace_capability _fb_ds;
		Genode::size_t               _vm_fb_size;
		VgaRegs	                    *_regs;
		Framebuffer::Mode            _fb_mode;

	public:

		/* bus callbacks */
		bool receive(MessageConsole &msg);
		bool receive(MessageMemRegion &msg);

		/* initialisation */
		void entry();

		/**
		 * Constructor
		 */
		Vancouver_console(Motherboard &mb, Genode::size_t vm_fb_size,
		                  Genode::Dataspace_capability fb_ds);
};

#endif /* _CONSOLE_H_ */