System User's Guide: Operating System and Devices