K 10
svn:author
V 6
marcel
K 8
svn:date
V 27
2006-11-18T21:52:26.000000Z
K 7
svn:log
V 365
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().

END