gistfile1.txt

#include <ucontext.h>
ucontext_t ctx;

int
main(void)
{

	getcontext(&ctx);
	if (ctx.uc_mcontext.mc_magic != 0xc0ffee)
		printf("Wot\n");

	ctx.uc_flags |= _UC_IGNSIGM | _UC_IGNFPU;
	getcontext(&ctx);
	if (ctx.uc_mcontext.mc_magic != 0xc0ffee)
		printf("Wot2\n");


	ddekit_init();
	ddekit_thread_create(long_running_thread, NULL, "long_thread");
	ddekit_thread_create(short_running_thread, NULL, "short_thread");
	ddekit_minix_wait_exit();
	return 0;
}