system.hpp

00001 #if !defined(__SYSTEM_SYSTEM_HPP__)
00002 #define __SYSTEM_SYSTEM_HPP__
00003 
00004 //
00005 // standard includes
00006 //
00007 #include <stdint.h>
00008 
00009 //
00010 // system abstractions for all systems
00011 //
00012 #include "core/system/file.hpp"
00013 #include "core/system/log.hpp"
00014 
00015 //
00016 // ***** system abstractions for L4 *****
00017 //
00018 #include "core/system/l4/lock.hpp"
00019 #include "core/system/l4/macros.hpp"
00020 #include "core/system/l4/bitops.hpp"
00021 #include "core/system/l4/memory.hpp"
00022 #include "core/system/l4/semaphore.hpp"
00023 #include "core/system/l4/dataspace.hpp"
00024 #include "core/system/l4/l4file.hpp"
00025 
00026 typedef l4file l4vmm_file;
00027 
00028 //
00029 // architecture specific
00030 //
00031 #if defined(ARCH_x86) || defined(ARCH_amd64)
00032     #include "core/system/l4/x86/x86_context.hpp"
00033     #include "core/system/l4/x86/portio.hpp"
00034 #elif defined(ARCH_arm)
00035     #include "core/system/l4/arm/arm_context.hpp"
00036 #else
00037     #error architecture not supported
00038 #endif
00039 
00040 //
00041 // ***** system abstractions for ??? *****
00042 //
00043 
00044 #endif
00045 
00046 // ***** end of source ***** //
00047