Pinned Repositories
beri
The BERI and CHERI processor and hardware platform
cheri-qemu
cpubench
A CPU workload used to test smartphone battery performance
docker-openface
openface reading from local video file for testing
docker-riscv-tools
Docker image of Rochet Chip
gem5
llvm-project-cheri
Fork of LLVM adding CHERI support
paper-docker-mig
Efficient Service Handoff Across Edge Servers via Docker Container Migration
sva_freebsd93
Adding SVA support for FreeBSD93
tinyvmi
LibVMI in MiniOS. This repo is out-of-date, see https://github.com/tinyvmi/tinyvmi for latest updates.
tupipa's Repositories
tupipa/docker-riscv-tools
Docker image of Rochet Chip
tupipa/beri
The BERI and CHERI processor and hardware platform
tupipa/cheri-qemu
tupipa/gem5
tupipa/llvm-project-cheri
Fork of LLVM adding CHERI support
tupipa/sva_freebsd93
Adding SVA support for FreeBSD93
tupipa/tinyvmi
LibVMI in MiniOS. This repo is out-of-date, see https://github.com/tinyvmi/tinyvmi for latest updates.
tupipa/bargraph
Clustered/Stacked Filled Bar Graph Generator
tupipa/BESSPIN-GFE-2019
The DARPA SSITH-funded Government Furnished Equipment on which all secure CPUs are based.
tupipa/bogo
bogo for ASPLOS'19
tupipa/cheribsd
FreeBSD adapted for the CHERI CPU.
tupipa/cheribuild
Easily build and run CHERI related projects
tupipa/crix
Detect missing check bugs in OS kernels
tupipa/docker-hugo
Docker base image for static sites generated with Hugo
tupipa/hdfi
Hardware-assisted Data-flow Isolation
tupipa/latex-docker
Docker-based latex compilation
tupipa/libvmi
tupipa/llvm
Mirror of official llvm git repository located at http://llvm.org/git/llvm. Updated every five minutes.
tupipa/llvm-docker
Build LLVM in Docker Container
tupipa/machine-learning-books
this is a fork of collection of books for machine learning.
tupipa/os_bench
tupipa/p.haul
Live migration using CRIU
tupipa/panda
Hosting the "Dead Write Detection Plugin" ported from Deadspy
tupipa/qemu
QEMU with support for CHERI
tupipa/riscv-isa-manual
RISC-V Instruction Set Manual
tupipa/sharelatex
A web-based collaborative LaTeX editor
tupipa/SVA
Secure Virtual Architecture
tupipa/sva_freebsd90
tupipa/tinyvmi-blog-hugo
tupipa/WM-AS-thesis-latex-template
[CONTRIBUTORS NEEDED] A LaTeX template keeps up with the the College of William and Mary Art & Science Physical Standards for Theses & Dissertations.