Experiments with nachos based on Berkeley CS162 course (Operating Systems and System Programming)