A week ago, I got to implement the cpu enabling during gnumach boot. But the cpus aren't available to the system yet, I have to configure their Local APIC, and add them to the scheduler.
But I don't know how can I add the cpus to the scheduler. I've seen some functions, as sched_init() which add the available cpus to the scheduler, but this functions are called before enable all cpus.