Jorge Pereira's repositories
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.
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.
NOVA
NOVA Microhypervisor
osblog
The Adventures of OS
qCUDA
qCUDA: GPGPU Virtualization at a New API Remoting Method with Para-virtualization
riscv-isa-manual
RISC-V Instruction Set Manual
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.
seL4_libs
No-assurance libraries for rapid-prototyping of seL4 apps.
seL4_tools
Basic tools for building seL4 projects
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.
tiny-AES-c
Small portable AES128/192/256 in C
virtio-spec
OASIS Virtual I/O Device TC: Source code for the VIRTIO (Virtual I/O) Specification maintained by the OASIS Virtual I/O Device (VIRTIO) Technical Committee
zephyr
Primary Git Repository for the Zephyr Project. Zephyr is a new generation, scalable, optimized, secure RTOS for multiple hardware architectures.