/** Copyright 2011, Ingo Weinhold, ingo_weinhold@gmx.de.* Distributed under the terms of the MIT License.*/#ifndef _KERNEL_KERNEL_LIB_H#define _KERNEL_KERNEL_LIB_H#include <pthread.h>#define pthread_testcancel() do {} while (false)#endif // _KERNEL_KERNEL_LIB_H