jorgemvp Goto Github PK

bao-demos

A guide on how to build and use a set of Bao guest configurations for various platforms

bao-hypervisor

Bao, a Lightweight Static Partitioning Hypervisor

boot-wrapper-aarch64

This repo contains source cloned from https://kernel.googlesource.com/pub/scm/linux/kernel/git/maz/boot-wrapper-aarch64/

camkes

Component Architecture test suite and example apps.

camkes-tool

The main CAmkES tool

camkes-vm

Virtual Machine build as a CAmkES component.

camkes-vm-examples

camkes-vm-images

Precompiled kernels etc. for use with camkes VMs.

capdl

Capability Distribution Language tools for seL4

docs

This is the source of the seL4 docs.

fenix

One-stop script set to build Ubuntu/Debian images

firecracker

Secure and fast microVMs for serverless computing.

global-components

gvirtus

ltzvisor

LTZVisor: a Lightweight TrustZone-assisted Hypervisor

musllibc

nova

NOVA Microhypervisor

osblog

The Adventures of OS

projects_libs

qcuda

qCUDA: GPGPU Virtualization at a New API Remoting Method with Para-virtualization

qemu-xen

Mirror of the Xen Repository (PRs not accepted see: http://wiki.xenproject.org/wiki/Submitting_Xen_Project_Patches)

riscv-isa-manual

RISC-V Instruction Set Manual

riscv-linux-5.2

rvirt

RISC-V hypervisor written in Rust

sel4

The seL4 microkernel

sel4-riscv-vmm-manifest

Manifest for building an experimental RISCV VMM

sel4-tutorials

Tutorials for working with seL4 and/or CAmkES.

sel4cp

seL4 Core Platform - A simple operating system for the seL4 microkernel

sel4cp_vmm

An experimental AAarch64 VMM on the seL4 Core Platform

sel4runtime

A minimal runtime for seL4 applications.