1.
L4Ka - The L4 microkernel family and friends
The L4Ka research project aims at substantiating and establishing a new methodology for system construction that helps to manage ever-increasing OS ...
2.
Pre-Virtualization: Uniting Two Worlds
File Format: PDF/Adobe Acrobat - View as HTML x86, by manually porting the OS to the API of a single hypervisor. The ... (i.e., the instruction set and devices) to the hypervisor's API. Pure ...
3.
Unmodified Device Driver Reuse
We reuse unmodified device drivers by running them within their original operating system ... By isolating device drivers within their own virtual machines, ...
4.
VMWare Serial Line Gateway
VMWare Serial Line Gateway. ... VMWare Workstation can redirect a bidirectional serial port to a named pipe of Windows NT/2000/XP. ...
5.
L4Ka - The L4 microkernel family and friends
System Architecture Group, University of Karlsruhe, Germany. ... Universität Karlsruhe (TH) · Department of Computer Science System Architecture Group ...
6.
Build and Boot Instructions for PowerPC
You will have two build directories: pistachio-powerpc for the kernel, ... Build the user-level applications and PowerPC boot loader by executing make -s ...
7.
Unmodified Device Driver Reuse
The NFS server used our device driver reuse framework, and simultaneously exercised the network and disk drivers. The disk was a SATA Maxtor 6Y120M0. ...
8.
L4Ka Virtual Machine Technology
We research new technologies for improving the virtual machine ... Proceedings of the 3rd Virtual Machine Research & Technology Symposium (VM'04), May 6-7, ...
9.
Marzipan: The L4Ka Virtual Machine Environment
Marzipan builds systems of collaborating virtual machines, ... Marzipan is our test framework for the L4Ka pre-virtualization and device driver reuse ...
10.
FreedomofMovement. WhenamoduleorprogramPiscompiledfor thex ...
File Format: Adobe PostScript - View as HTML An Unconventional Proposal: Using the x86 Architecture As ... Hawthorne, NY 10532. fjochen,nayeem,jaegert,vvp,yoonhog@us.ibm.com ...
