In this configuration, the mini-OS 80 is stored in the BIOS, although those skilled in the art will recognize that the mini-OS could alternatively be stored in its own ROM (either within special purpose circuit 40 or external to it), a hard disk, or other media.