Exokernel

This publication has 39 references indexed in Scilit:

• The case for application-specific operating systems
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Extensibility safety and performance in the SPIN operating system
  Published by Association for Computing Machinery (ACM) ,1995
• Sharing and protection in a single-address-space operating system
  ACM Transactions on Computer Systems, 1994
• A caching model of operating system kernel functionality
  Published by Association for Computing Machinery (ACM) ,1994
• Increasing network throughput by integrating protocol layers
  IEEE/ACM Transactions on Networking, 1993
• Scheduler activations
  Published by Association for Computing Machinery (ACM) ,1991
• Virtual memory primitives for user programs
  Published by Association for Computing Machinery (ACM) ,1991
• Lightweight remote procedure call
  ACM Transactions on Computer Systems, 1990
• An experiment using registers for fast message-based interprocess communication
  ACM SIGOPS Operating Systems Review, 1984
• The V Kernel: A Software Base for Distributed Systems
  IEEE Software, 1984