DOCSLIB.ORG
Explore
Sign Up
Log In
Upload
Search
Home
» Tags
» Rump kernel
Rump kernel
Assessing Unikernel Security April 2, 2019 – Version 1.0
Efficient Cache Attacks on AES, and Countermeasures
Rump File Systems Kernel Code Reborn
Unikernels: the Next Stage of Linux's Dominance
A Survey of Microarchitectural Timing Attacks and Countermeasures on Contemporary Hardware
Operating Systems
Rumprun for Rump Kernels: Instant Unikernels for POSIX Applications
RUMP KERNELS and {Why,How} We Got Here
A Split TCP/IP Stack Implementation for GNU/Linux
WAMOS 2015 Second Wiesbaden Workshop on Advanced Microkernel Operating Systems
Lowrisc Summer of Code TCP/IP Offload to Minion Cores Using Rump Kernels
Lxds: Towards Isolation of Kernel Subsystems
Flexible Operating System Internals: the Design and Implementation of the Anykernel and Rump Kernels Aalto University
Everything Is a Device! the MH Microkernel and the MRG Runtime
Kernel Development in Userspace - the Rump Approach
Rump Kernel Based QEMU Stubdomain
Analyses De Terminaison Des Calculs Flottants Fonenantsoa Maurica Andrianampoizinimaro
Rump File Systems: Kernel Code Reborn
Top View
The Rump Kernel: a Tool for Driver Development and a Toolkit for Applications
Rump Device Drivers: Shine on You Kernel Diamond
Application of Software Components in Operating System Design
Hardware and Device Drivers
Toward Decomposing the Linux Kernel
Librettos: a Dynamically Adaptable Multiserver-Library OS∗
Librettos: a Dynamically Adaptable Multiserver-Library OS
Rumpkernel-Bookv2-20160802.Pdf
Testing Netbsd Automagically
Arxiv:1811.05000V3 [Cs.OS] 5 Jun 2019
The Rumprun Unikernel
RIV~INATOR MAINTENANCE Ivianual
Bachelor's Thesis Nr. 250B
Hurd, Rump Kernel, Sound, and USB
Farroweditorial
Mimosa: Protecting Private Keys Against Memory Disclosure Attacks Using Hardware Transactional Memory
This Is a Draft. Final Version Will Appear in the Journal of Scientific