/****************************** OS Primitives *********************************/