This is a naive, simple question -- I looked in the reference manual and the answer did not jump out at me. When a process is preempted, where are its registers stored? Are the stored in the UTCB, or are they stored in some data structure that is only accessible to the kernel? Thanks shap