vmm.h

00001 #if !defined(__L4VMM_INCLUDE_VMM_H__)
00002 #define __L4VMM_INCLUDE_VMM_H__
00003 
00004 //
00005 // check architecture
00006 //
00007 #if !defined(ARCH_x86) && !defined(ARCH_amd64)
00008     #error other architectures than x86/amd64 are not yet implemented.
00009 #endif
00010 
00011 //
00012 // L4vmm includes
00013 //
00014 #include <l4/vmm/consts.h>
00015 #include <l4/vmm/types.h>
00016 
00017 #include <l4/vmm/api/l4util.h>
00018 #include <l4/vmm/api/omega0.h>
00019 #include <l4/vmm/api/l4io.h>
00020 #include <l4/vmm/api/vmm.h>
00021 
00022 #endif
00023 
00024 // ***** end of source ***** //
00025