Michael Stephen Williams

Dynamic extension of static device drivers

Dynamic boot filesystem selection

System for modifying functions of static device driver using a registered driver extension extended dynamically by providing an entry point for the driver extension

Interrupt vectoring for optionally architected facilities in computer systems

Operating system debugger using kernel and dynamic extension with debugger drivers to support different output devices

Method and apparatus for conserving power and system resources in a computer system employing a virtual memory

Method and system for keeping time across a multiprocessor platform

Loadable hardware support

Booting an operating system using soft read-only storage (ROS) for firmware emulation

Stack memory protection