The Selfie Project provides an educational platform for teaching undergraduate and graduate students the design and implementation of programming languages and runtime systems. The focus is on the construction of compilers, libraries, operating systems, and virtual machine monitors. The common theme is to identify and resolve self-reference in systems code which is seen as the key challenge when teaching systems engineering, hence the name.
Selfie is a self-contained 64-bit, 11-KLOC C implementation of:
- a self-compiling compiler called starc that compiles a tiny but still fast subset of C called C Star (C*) to a tiny and easy-to-teach subset of RISC-V called RISC-U,
- a self-executing emulator called mipster that executes RISC-U code including itself when compiled with starc,
- a self-hosting hypervisor called hypster that provides RISC-U virtual machines that can host all of selfie, that is, starc, mipster, and hypster itself, and
- a tiny C* library called libcstar utilized by selfie.
Selfie generates ELF binaries that run on real RISC-V hardware as well as on QEMU and are compatible with the official RISC-V toolchain, in particular the spike emulator and the pk kernel.
How to set up KVM (kernel-based virtual machine) on a Fedora 11 Server install.
A sysadmin's how-to post on getting started with VMWare ESXi.
Not in a position where you can download the VMware vSphere client to a workstation so you can do what you need to do? Somebody figured out the download links for versions as far back as v4, so you can download them manually if you need to. He's documented it here.
How to sent up a virtualization host with CentOS v6.2 and Xen.
A shell script which can be used to automate the backup of virtual machines running in a XenServer environment. It's specifically written for XenServer v5.5, and I think it'll run reasonably well on top of XenServer v6.1 (I THINK).
A Perl script which analyzes the OS it's running on top of to determine whether or not it's virtualized, and if so which product(s) it's inside of. Uses multiple techniques (no red pills, I don't think) to gather information.
opensource container based virtualization for linux.
Vagrant is a utility for automating the deployment of virtualized environments using VirtualBox v4.x. It helps create and configure lightweight, portable virtual instances in a reproducable (i.e., scriptable) fashion. Written in Ruby.
3697 links, including 185 private