unikernel.h

Go to the documentation of this file.

#ifndef __DEODHAI_UNIKERNEL_H__
#define __DEODHAI_UNIKERNEL_H__
 
#ifdef __XENEVA_UNIKERNEL__
#ifdef __cplusplus
extern "C" {
#endif
void XELnchThread();
void NamdaphaThread();
#ifdef __cplusplus
}
#endif
#endif
 
#endif