wtakuo/xv6-env

Stars
18
Rank 1,208,065 (Top 24 %)
Language
Dockerfile
Created about 4 years ago
Updated 8 months ago

wtakuo/xv6-env

wtakuo

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Docker image for building/running xv6

SVM

Simple stack-based bytecode VM implementations used in my class

spin-env

Docker image for Spin model checker

AST2J

A simple visitor generator for Java

opfs

A set of simple utilities for manipulating xv6-riscv file system images

BOFDemo

A simple buffer overflow vulnerability demo for IA-32

Act0

A small actor-based language written in Common-Lisp

AppleScript

Taurus

A JVML code analyzer/modifier