 /*
  * Copyright (C) yajin 2008 <yajinzhou@gmail.com >
  *
  * This file is part of the virtualmips distribution.
  * See LICENSE file for terms of the license.
  *
  */

#ifndef __SYSTEM_H__
#define __SYSTEM_H__

#ifdef SIM_ADM5120
#include "adm5120.h"
#endif

#ifdef SIM_PAVO
#include "pavo.h"
#endif

#ifdef SIM_PIC32
#include "pic32.h"
#endif

#endif
