Minor modifs
Merge branch 'work_srozen' of https://github.com/yrmt/OS into work_srozen
Report continued