pthread_switch: fast user-level context switch
[akaros.git] / Documentation / best-prectices.txt