+
+ // TODO initialize dummy_proc
+ sched_init_dummy();
+}
+
+void
+sched_init_dummy()
+{
+ // This surely need to be simplified or encapsulated!
+ // It is a living nightmare!
+
+ extern void my_dummy();
+ static char dummy_stack[1024] __attribute__((aligned(16)));
+
+ // memset to 0
+ dummy_proc = (struct proc_info){};
+ dummy_proc.intr_ctx =
+ (isr_param){ .registers = { .ds = KDATA_SEG,
+ .es = KDATA_SEG,
+ .fs = KDATA_SEG,
+ .gs = KDATA_SEG,
+ .esp = (void*)dummy_stack + 1004 },
+ .cs = KCODE_SEG,
+ .eip = (void*)my_dummy,
+ .ss = KDATA_SEG,
+ .eflags = cpu_reflags() | 0x0200 };
+
+ *(u32_t*)(&dummy_stack[1020]) = dummy_proc.intr_ctx.eflags;
+ *(u32_t*)(&dummy_stack[1016]) = KCODE_SEG;
+ *(u32_t*)(&dummy_stack[1012]) = dummy_proc.intr_ctx.eip;
+
+ dummy_proc.page_table = cpu_rcr3();
+ dummy_proc.state = PS_READY;
+ dummy_proc.parent = &dummy_proc;
+
+ __current = &dummy_proc;