modified:   include/config.h
	modified:   src/osschedule.c
	modified:   src/osthread.c