#include "mem_layout.h"
#include "mem_space_sigma0.h"
#include "task.h"
-#include "thread.h"
+#include "thread_object.h"
#include "types.h"
#include "ram_quota.h"
sigma0_space = sigma0_task->mem_space();
- Thread *sigma0_thread = new (Ram_quota::root) Thread();
+ Thread_object *sigma0_thread = new (Ram_quota::root) Thread_object();
assert_kdb(sigma0_thread);
check (map(sigma0_thread, sigma0_task->obj_space(), sigma0_task, C_thread, 0));
check (boot_task->initialize());
- Thread *boot_thread = new (Ram_quota::root) Thread();
+ Thread_object *boot_thread = new (Ram_quota::root) Thread_object();
assert_kdb (boot_thread);