Marcel Moolenaar 77121031e7 Now that printf() needs the PCPU, set it up before we call printf().
Change the pc_pcb field from a pointer to struct pcb to struct pcb
so that sizeof(struct pcb) includes the PCB we use for IPI_STOP.
Statically declare early_pcb so that we don't have to allocate the
PCB for thread0. This way we can setup the PCPU before cninit()
and thus before we use printf().
2006-11-18 21:52:26 +00:00
..
2006-11-16 13:32:30 +00:00
2006-11-18 17:27:39 +00:00
2006-11-18 07:24:56 +00:00
2006-05-26 13:54:27 +00:00
2006-11-02 16:24:18 +00:00
2006-11-09 08:03:37 +00:00
2006-11-18 19:23:37 +00:00