A dynamically configurable operating system is achieved by providing a module sub-system which intercepts requests by processes to access a module in the operating system and determines whether the module has been loaded in the kernel memory and linked the other modules located in the kernel memory and...http://www.google.fr/patents/US5634058?utm_source=gb-gplus-shareBrevet US5634058 - Dynamically configurable kernel
