0
I Use This!
Inactive

Commits : Listings

Analyzed 1 day ago. based on code collected 1 day ago.
Jun 11, 2023 — Jun 11, 2024
Commit Message Contributor Files Modified Lines Added Lines Removed Code Location Date
Merge pull request #6 from djs55/cstruct More... over 11 years ago
Cstruct.copy_buffers renamed to Cstruct.copyv More... over 11 years ago
Merge pull request #5 from mcclurmc/avsm-to-mirage-org More... over 11 years ago
Code tab points to mirage github org page More... over 11 years ago
typo More... over 11 years ago
typos More... over 11 years ago
add OPAM blog entry More... over 11 years ago
install fixes More... over 11 years ago
Merge pull request #4 from raphael-proust/master More... over 11 years ago
[blog/xenstore-stub.md] fixing <tt> tags More... over 11 years ago
update install for opam-0.6 More... over 11 years ago
edits to dave's blog post More... over 11 years ago
Merge pull request #3 from djs55/djs-blog More... over 11 years ago
Create and hook in the xenstored stub domain entry. More... almost 12 years ago
remove unused mir files More... almost 12 years ago
port to OASIS (Xen build broken currently) More... almost 12 years ago
port to work with avsm/ocaml-...@cbe65eca1651dc56e931502566b67adb315d382b API More... almost 12 years ago
tweak dependencies and make sure unix/xen are not simultaneously active More... almost 12 years ago
restore Xen support, autodetected via MIRAGE_OS env var. More... almost 12 years ago
remove arch-specific code More... almost 12 years ago
remove lwt.unix as this breaks xen (and is not needed explicitly for unix) More... almost 12 years ago
sync build scripts with ocaml-build-skeleton More... almost 12 years ago
Minor changes More... almost 12 years ago
add camlp4-extra More... almost 12 years ago
Revert "fix curl" from @samoht More... almost 12 years ago
fix curl More... almost 12 years ago
more information on OPAM More... almost 12 years ago
Merge pull request #1 from samoht/master More... almost 12 years ago
Add missing packages after switching to the xen compiler More... almost 12 years ago
Fix typo in debian instructions More... almost 12 years ago