devices/common.hpp

00001 #if !defined(__DEVICES_COMMON_HPP__)
00002 #define __DEVICES_COMMON_HPP__
00003 
00004 //
00005 // device name prefixes
00006 //
00007 #define L4VMM_DEVICE_VIRTUAL    "[VRT]"
00008 #define L4VMM_DEVICE_PHYSICAL   "[PHY]"
00009 
00010 //
00011 // local core includes
00012 //
00013 #include "core/config/config_node.hpp"
00014 #include "core/machine/machine_base.hpp"
00015 #include "core/machine/devices/devices.hpp"
00016 #include "core/machine/devices/device_base.hpp"
00017 #include "core/machine/pci/pci_device_base.hpp"
00018 
00019 //
00020 // devices debug switches
00021 //
00022 #include "devices/debug.hpp"
00023 
00024 #endif
00025 
00026 // ***** end of source ***** //
00027