Structuring the kernel as a toolkit of extensible, reusable components

This publication has 10 references indexed in Scilit:

• The case for application-specific operating systems
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• The need for customizable operating systems
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Software defects and their impact on system availability-a study of field failures in operating systems
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Implementation and performance of integrated application-controlled file caching, prefetching, and disk scheduling
  ACM Transactions on Computer Systems, 1996
• SPIN
  Published by Association for Computing Machinery (ACM) ,1994
• The operating system kernel as a secure programmable machine
  Published by Association for Computing Machinery (ACM) ,1994
• Efficient software-based fault isolation
  Published by Association for Computing Machinery (ACM) ,1993
• Scheduler activations
  ACM Transactions on Computer Systems, 1992
• Lightweight remote procedure call
  Published by Association for Computing Machinery (ACM) ,1989
• Mimic: a fast system/370 simulator
  Published by Association for Computing Machinery (ACM) ,1987