/** SGX

The   sss    gggg x   x   
     s      g      x x    Engine
      sss   g  gg   x
         s  g   g  x x          Copyright 1995-2008.
     ssss    gggg x   x         Steven Goodwin. All Rights Reserved.
    
This version has been released under the GNU Public License v2.0.

Please see the license files for details.

File: include/sgx/system/system.hpp

*/

#ifndef SGX_SYSTEM_SYSTEM_HPP
#define SGX_SYSTEM_SYSTEM_HPP	1

//
// These files declare the prototypes for the OS calls
// You MUST have a platform-specific implementation of all these
// files, otherwise, you must build with the null driver version.
//
#include "sgx/system/systemversion.hpp"
#include "sgx/system/execute.hpp"
#include "sgx/system/yield.hpp"


#endif /* SGX_SYSTEM_SYSTEM_HPP */
