XOmB: an Exokernel for Modern 64-bit, Multicore Hardware James Larkby-Lahet1 , Brian A. Madden2∗, Dave Wilkinson1 , Daniel Mosse1 1 2

Source URL: www.inf.pucminas.br

Unikernel Monitors: Extending Minimalism Outside of the Box Dan Williams Ricardo Koller IBM T.J. Watson Research Center Abstract

Source URL: www.usenix.org

• Software
• System software
• Computing
• Operating system kernels
• Computing platforms
• Unikernel
• OSv
• QEMU
• Operating system
• Kernel
• OCaml
• Exokernel

Rearchitecting System Software for the Cloud Muli Ben-Yehuda, Dan Tsafrir Technion—Israel Institute of Technology What is the Problem? Today’s Operating Systems

Source URL: www.mulix.org

• Hardware virtualization
• X86 architecture
• Operating system kernels
• Monolithic kernels
• Peripheral Component Interconnect
• Single-root input/output virtualization
• Kernel
• Linux kernel
• Device driver
• Exokernel
• Hyper-V
• QEMU

Rearchitecting System Software for the Cloud Muli Ben-Yehuda Technion 1

Source URL: www.mulix.org

• Operating system kernels
• Exokernel
• Kernel
• Virtualization
• Protection ring
• Virtual machine
• Hypervisor
• Cloud computing
• Network virtualization
• Operating system
• Device driver
• System virtual machine

To appear in the Proceedings of the 16th Symposium on Operating Systems Principles (SOSP),October, Application Performance and Flexibility on Exokernel Systems M. Frans Kaashoek, Dawson R. Engler, Gregory R. Gange

Source URL: www.scs.stanford.edu

Dune:  Safe  User-­‐level  Access  to   Privileged  CPU  Features   Adam  Belay,  Andrea  Bi>au,  Ali  MashAzadeh,  David  Terei,   David  Mazières,  and  Chri

Source URL: dune.scs.stanford.edu

• Interrupt flag
• Interrupts
• Kernel
• Linux kernel
• Exokernel
• Hyper-V
• Ring
• System call
• Computer architecture
• System software
• Software

Exokernel: An Operating System Architecture for Application-Level Resource Management Dawson R. Engler, M. Frans Kaashoek, and James O’Toole Jr. M.I.T. Laboratory for Computer Science Cambridge, MA 02139, U.S.A engler,

Source URL: www.news.cs.nyu.edu

• Operating system kernels
• Exokernel
• Central processing unit
• Kernel
• Virtual machine
• Microkernel
• System call
• Ring
• Operating system
• Computer architecture
• System software
• Computing

Improving Per-Node Efficiency in the Datacenter with New OS Abstractions Barret Rhoden, Kevin Klues, David Zhu, Eric Brewer University of California, Berkeley Berkeley, CA {brho, klueska, yuzhu, brewer}@cs.berkeley.edu

Source URL: research.klueska.com

• Parallel computing
• Concurrent computing
• Fault-tolerant computer systems
• Kernel
• Thread
• Virtual machine
• Operating system
• Scheduling
• Exokernel
• Computing
• System software
• Computer architecture

Multiprocessing with the Exokernel Operating System by Benjie Chen Submitted to the Department of Electrical Engineering and Computer Science in partial fulfillment of the requirements for the degree of

Source URL: pdos.csail.mit.edu

• Operating system kernels
• Classes of computers
• Parallel computing
• Exokernel
• Kernel
• Monolithic kernels
• Thread
• System call
• Ring
• Computing
• Computer architecture
• Concurrent computing

Principles, Meet Practice An Early Retrospective on SAFE ^ (incomplete, personal...) Benjamin C. Pierce University of Pennsylvania

Source URL: www.cis.upenn.edu

• Operating system
• Computer security
• Mach
• Field-programmable gate array
• Google Chrome OS
• Ring
• Exokernel
• Computer architecture
• Security
• Kernel