Which of the following is the layer of a computer system between the hardware and the user program?