/*
The contents of this file are subject to the Mozilla Public License Version 1.1
(the "License"); you may not use this file except in compliance with the License.
You may obtain a copy of the License at http://www.mozilla.org/MPL/

Software distributed under the License is distributed on an "AS IS" basis,
WITHOUT WARRANTY OF ANY KIND, either express or implied. See the License for the
specific language governing rights and limitations under the License.

The Original Code is Lepton.

The Initial Developer of the Original Code is Philippe Le Boulanger.
Portions created by Philippe Le Boulanger are Copyright (C) 2011 <lepton.phlb@gmail.com>.
All Rights Reserved.

Contributor(s): Jean-Jacques Pitrolle <lepton.jjp@gmail.com>.

Alternatively, the contents of this file may be used under the terms of the eCos GPL license
(the  [eCos GPL] License), in which case the provisions of [eCos GPL] License are applicable
instead of those above. If you wish to allow use of your version of this file only under the
terms of the [eCos GPL] License and not to allow others to use your version of this file under
the MPL, indicate your decision by deleting  the provisions above and replace
them with the notice and other provisions required by the [eCos GPL] License.
If you do not delete the provisions above, a recipient may use your version of this file under
either the MPL or the [eCos GPL] License."
*/

#ifndef VIRTUAL_HARDWARE_CONF_H_
#define VIRTUAL_HARDWARE_CONF_H_

#include "hardware/virtual_hardware.h"

//
extern hdwr_info_t virtual_clock;
extern hdwr_info_t virtual_serial0;
extern hdwr_info_t virtual_serial1;
extern hdwr_info_t virtual_eth0;
extern hdwr_info_t virtual_screen;
extern hdwr_info_t virtual_kb;
extern hdwr_info_t virtual_serialpt;
extern hdwr_info_t virtual_leds;
extern hdwr_info_t virtual_rtu0;
extern hdwr_info_t virtual_rtu1;

//all available hardware
phdwr_info_t hdwr_lst [] = {
   &virtual_clock,
   &virtual_serial0,
   &virtual_serial1,
   &virtual_serialpt,
   &virtual_eth0,
   &virtual_kb,
   &virtual_leds,
   &virtual_rtu0,
   &virtual_rtu1,
   &virtual_screen,
};

int hdwr_max_dev = sizeof(hdwr_lst)/sizeof(phdwr_info_t);

#endif /* VIRTUAL_HARDWARE_CONF_H_ */
