talex5/mirage-trace-dump-xen

Stars
2
Language
OCaml
License
BSD 2-Clause "Sim...
Created over 3 years ago
Updated over 3 years ago

talex5/mirage-trace-dump-xen

talex5

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

Dump the CTF trace of a running mirage-xen unikernel

cuekeeper

Browser-based GTD (TODO list) system. No server needed.

wayland-proxy-virtwl

Allow guest VMs to open windows on the host

ocaml-wayland

Pure OCaml Wayland protocol implementation

irmin-indexeddb

An Irmin backend for a web browser's IndexedDB store

irmin-js

Javascript bindings for Irmin

js-skeleton

sample project showing how to build a Javascript web-app using `js_of_ocaml`, `TyXML` and `React`

get-activity

collect activity and format as markdown for a journal

mirage-trace-viewer

GTK and HTML viewers for mirage-profile trace files

spec-vchan

A TLA+ specification for the Xen vchan protocol

tla

A Dockerfile for building the TLA+ tools

async_eio

Run Async code from within Eio

qubes-test-mirage

Scripts I use to test Mirage unikernels on QubesOS

async-eio-lwt-chimera

Proof-of-concept for Async/Eio/Lwt in one process

irmin-www

Irmin-based web server

opam-bulk-build-ui

Prototype of possible new UI

lang-tests

A test repository for testing various languages

zarith

zarith with fixes for Mirage

xen-paratest

Test-case for Xen/ARM

irmin-filer

Irmin demo - offline browser file manager with sync

mirage-clock-test

An implementation of Mirage's CLOCK and TIME types for unit-tests