Research: OPERATING SYSTEMS DESIGN