-void ghetto_vcore_entry(void);
-struct schedule_ops ghetto_sched_ops = {
- 0, /* init, */
- ghetto_vcore_entry,
- 0, /* thread_create, */
- 0, /* thread_runnable, */
- 0, /* thread_yield, */
- 0, /* thread_exit, */
- 0, /* preempt_pending, */
- 0, /* spawn_thread, */
-};
-struct schedule_ops *sched_ops = &ghetto_sched_ops;