test_cv_signal.c

#include "thread.h"
#include "interrupt.h"
#include "test_thread.h"

int
main(int argc, char **argv)
{
	thread_init();
	register_interrupt_handler(0);
	/* Test cv signal */
	test_cv_signal();
	return 0;
}