#include <OS.h>
#include "syscalls.h"


thread_id
find_thread(const char *name)
{
	return _kern_find_thread(name);
}