Code

New Xen core platform stack#23

Code

Merged

mato merged 11 commits intomirage:mastermirage/mirage-xen:masterfrom mato:xen-pvh-via-solo5mato/mirage-xen:xen-pvh-via-solo5Copy head branch name to clipboardOct 15, 2020

+25,314-1,084

Commits

Commits on Jun 8, 2020

• Add Xen public API headers

  Show description for e6df555
  mato

  committed
  e6df555

  Copy full SHA for e6df555

Commits on Jul 24, 2020

• New Xen core platform stack

  Show description for 5bb9bc5
  mato

  committed
  5bb9bc5

  Copy full SHA for 5bb9bc5

Commits on Jul 25, 2020

• Reinstate OS.Lifecycle.await_shutdown_request

  Show description for 528d6c2
  mato

  committed
  528d6c2

  Copy full SHA for 528d6c2

Commits on Oct 7, 2020

• Use a separate virtual memory range for importing grant mappings

  Show description for 94372da
  mato

  committed
  94372da

  Copy full SHA for 94372da

• Hook up OS.MM.Heap_pages.{total,used}

  Show description for ab32449
  mato

  committed
  ab32449

  Copy full SHA for ab32449

• opam: Depend on solo5-bindngs-xen >= 0.6.7

  Show description for 2cb0ae8
  mato

  committed
  2cb0ae8

  Copy full SHA for 2cb0ae8

Commits on Oct 12, 2020

• Travis: Update build runes

  Show description for 003ef7d
  mato

  committed
  003ef7d

  Copy full SHA for 003ef7d

• opam: Update arch/os availability

  Show description for 589d1b1
  mato

  committed
  589d1b1

  Copy full SHA for 589d1b1

• gnttab: Use #define rather than static const

  Show description for fc26c26
  mato

  committed
  fc26c26

  Copy full SHA for fc26c26

Commits on Oct 14, 2020

• Fix declaration of bmap_allocator_t

  Show description for 08cd701
  mato

  committed
  08cd701

  Copy full SHA for 08cd701

• Use a Makefile to build libmirage-xen_bindings.a

  Show description for 9fe3875
  mato

  committed
  9fe3875

  Copy full SHA for 9fe3875