Texas Operating Systems Lecture 1 - Introduction Operating system Kernel (operating system) Virtual machine Firmware Device driver Floppy-disk controller Hardware abstraction Computer programming in the punched card era Batch processing Punched card