#include <kernel>
#include <thread>

#ifndef PREEMPTION_RATE
#define PREEMPTION_RATE 10_000ul
#endif

unsigned int default_preemption() {
	return PREEMPTION_RATE;
}

thread Worker {};

void main(Worker * this) {
	for(int i = 0; i < 100_000ul; i++) {
		yield();
	}
}

int main(int argc, char* argv[]) {
	processor p;
	{
		Worker w[7];
	}
}