#include "rust_kernel.h"
#include "rust_sched_reaper.h"

// NB: We're using a very small stack here
const size_t STACK_SIZE = 1024*20;

rust_sched_reaper::rust_sched_reaper(rust_kernel *kernel)
    : rust_thread(STACK_SIZE), kernel(kernel) {
}

void
rust_sched_reaper::run() {
    kernel->wait_for_schedulers();
}