Mechanisms for a robust multiprocessing environment in the MuTEAM kernel