The design and application of an extensible operating system by L. van Doorn