talex5/mirage-trace-dump-xen talex5/mirage-trace-dump-xen

  • Stars
    star
    2
  • Language
    OCaml
  • License
    BSD 2-Clause "Sim...
  • Created over 3 years ago
  • Updated over 3 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
talex5/mirage-trace-dump-xen
github

talex5

Reviews

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

Repository Details

Dump the CTF trace of a running mirage-xen unikernel

More Repositories

1

cuekeeper

Browser-based GTD (TODO list) system. No server needed.
OCaml
278
star
2

wayland-proxy-virtwl

Allow guest VMs to open windows on the host
OCaml
73
star
3

ocaml-wayland

Pure OCaml Wayland protocol implementation
OCaml
60
star
4

irmin-indexeddb

An Irmin backend for a web browser's IndexedDB store
OCaml
36
star
5

irmin-js

Javascript bindings for Irmin
OCaml
31
star
6

js-skeleton

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

get-activity

collect activity and format as markdown for a journal
OCaml
18
star
8

mirage-trace-viewer

GTK and HTML viewers for mirage-profile trace files
OCaml
18
star
9

spec-vchan

A TLA+ specification for the Xen vchan protocol
TLA
15
star
10

tla

A Dockerfile for building the TLA+ tools
Dockerfile
11
star
11

async_eio

Run Async code from within Eio
OCaml
11
star
12

qubes-test-mirage

Scripts I use to test Mirage unikernels on QubesOS
OCaml
10
star
13

async-eio-lwt-chimera

Proof-of-concept for Async/Eio/Lwt in one process
Makefile
5
star
14

irmin-www

Irmin-based web server
OCaml
3
star
15

opam-bulk-build-ui

Prototype of possible new UI
OCaml
3
star
16

lang-tests

A test repository for testing various languages
OCaml
2
star
17

zarith

zarith with fixes for Mirage
C
2
star
18

xen-paratest

Test-case for Xen/ARM
Assembly
1
star
19

irmin-filer

Irmin demo - offline browser file manager with sync
OCaml
1
star
20

mirage-clock-test

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