Navigation Menu

Skip to content
Permalink

Comparing changes

Choose two branches to see what’s changed or to start a new pull request. If you need to, you can also or learn more about diff comparisons.

Open a pull request

Create a new pull request by comparing changes across two branches. If you need to, you can also . Learn more about diff comparisons here.
base repository: mirage/mirage
base: ac2937650049
Choose a base ref
...
head repository: mirage/mirage
compare: 4dcbc7266694
Choose a head ref
  • 5 commits
  • 5 files changed
  • 2 contributors

Commits on Dec 2, 2014

  1. Get Xen linker options from ocamlfind xen_linkopts variables 

    Before, we used the normal linker flags, but we want to share compiled
OCaml libraries between Unix and Xen while having separate C stubs.
Accidentally linking in Unix C stubs on Xen is bad on x86_64 because
Unix stubs normally assume the red zone is available. ocamlopt currently
misses this optimisation and therefore OCaml code can be shared. We
might want to revisit this design once OPAM supports cross-compiling.
    @talex5
    talex5 committed Dec 2, 2014
    Copy the full SHA
    ed8ccae View commit details
    Browse the repository at this point in the history

Commits on Dec 6, 2014

  1. Get linker flags from mirage-xen

    @talex5
    talex5 committed Dec 6, 2014
    Copy the full SHA
    fe6dc8a View commit details
    Browse the repository at this point in the history

Commits on Dec 8, 2014

  1. Merge branch 'xen_linkopts' of git://github.com/talex5/mirage into ta… 

    …lex5-xen_linkopts
    @avsm
    avsm committed Dec 8, 2014
    Copy the full SHA
    2c5e66d View commit details
    Browse the repository at this point in the history

  2. bump to version 2.1.1

    @avsm
    avsm committed Dec 8, 2014
    Copy the full SHA
    f1840e3 View commit details
    Browse the repository at this point in the history

  3. sync CHANGES

    @avsm
    avsm committed Dec 8, 2014
    Copy the full SHA
    4dcbc72 View commit details
    Browse the repository at this point in the history