Design and implementation of system software