Fix bug in randpool_init.
[bertos.git] / kern / switch.S
2006-09-20 marcoStack switch.