/** 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/drivers/wintel32/core/threading/threading.hpp

*/

#ifndef SGXDRV_WINTEL32_CORE_THREADING_THREADING_HPP
#define SGXDRV_WINTEL32_CORE_THREADING_THREADING_HPP	1

#include "drivers/wintel32/core/threading/wintel32threadmanager.hpp"


#endif /* SGXDRV_WINTEL32_CORE_THREADING_THREADING_HPP */

